IRI: http://km.aifb.kit.edu/projects/numbers/number#Integer
IRI: http://km.aifb.kit.edu/projects/numbers/number#NaturalNumber
IRI: http://km.aifb.kit.edu/projects/numbers/number#Number
IRI: http://km.aifb.kit.edu/projects/numbers/number#PositiveNumber
IRI: http://km.aifb.kit.edu/projects/numbers/number#Prime
IRI: http://km.aifb.kit.edu/projects/numbers/number#digitsum
IRI: http://km.aifb.kit.edu/projects/numbers/number#greaterThan
has characteristics: transitive
IRI: http://km.aifb.kit.edu/projects/numbers/number#lessThan
has characteristics: transitive
IRI: http://km.aifb.kit.edu/projects/numbers/number#previous
has characteristics: functional, inverse functional
IRI: http://km.aifb.kit.edu/projects/numbers/number#primefactor
IRI: http://km.aifb.kit.edu/projects/numbers/number#next
has characteristics: functional, inverse functional
IRI: http://km.aifb.kit.edu/projects/numbers/number#log
IRI: http://km.aifb.kit.edu/projects/numbers/number#roman
has characteristics: functional
IRI: http://km.aifb.kit.edu/projects/numbers/number#value
has characteristics: functional
IRI: http://km.aifb.kit.edu/projects/numbers/number#n0
This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.