Deductions
- mathematical constant has quality type of number ⇐ (mathematical constant is subclass of number), (number has quality type of number)
- type of number is for example 0 number class ⇐ (0 number class is a type of number), (is a is inverse of is for example)
- 0 number class is a type of number ⇐ (nonzero real number is a type of number), (nonzero real number is opposite of 0 number class)
- type of number has quality class ⇐ (existence is a class), (type of number has quality existence)
- type of number is for example hypercomplex number ⇐ (hypercomplex number is a type of number), (is a is inverse of is for example)
- type of number is for example ordinal number ⇐ (ordinal number is a type of number), (is a is inverse of is for example)
- Rules of Russian Orthography and Punctuation has quality type of number ⇐ (Rules of Russian Orthography and Punctuation has quality ordinal number), (ordinal number has quality type of number), (has quality is a transitive relation)
- ordinal number has quality type of number ⇐ (ordinal number is subclass of number), (number has quality type of number)
- type of number is for example complex number ⇐ (complex number is a type of number), (is a is inverse of is for example)
- type of number is for example number with infinite decimal representation ⇐ (number with infinite decimal representation is a type of number), (is a is inverse of is for example)
- type of number is for example negative real number ⇐ (negative real number is a type of number), (is a is inverse of is for example)
- type of number is for example nonzero real number ⇐ (nonzero real number is a type of number), (is a is inverse of is for example)
- type of number is for example real number ⇐ (real number is a type of number), (is a is inverse of is for example)
- type of number has quality entity ⇐ (taxonomic rank is a entity), (type of number has quality taxonomic rank)
- type of number has quality superclass ⇐ (type of number is subclass of class), (class has quality superclass)
- type of number has quality taxonomic rank ⇐ (type of number is subclass of class), (class has quality taxonomic rank)
- type of number has quality existence ⇐ (type of number is subclass of entity), (entity has quality existence)
- number with infinite decimal representation is a type of number ⇐ (number with finite decimal representation is a type of number), (number with finite decimal representation is opposite of number with infinite decimal representation)
- negative real number is a type of number ⇐ (non-negative real number is a type of number), (non-negative real number is opposite of negative real number)
- type of number is for example number with finite decimal representation ⇐ (number with finite decimal representation is a type of number), (is a is inverse of is for example)
- entity is for example type of number ⇐ (type of number is a entity), (is a is inverse of is for example)
- type of number is for example positive integer ⇐ (positive integer is a type of number), (is a is inverse of is for example)
- type of number is for example non-negative real number ⇐ (non-negative real number is a type of number), (is a is inverse of is for example)
- type of number is a entity ⇐ (second-order class is subclass of entity), (type of number is a second-order class)
- positive integer is a type of number ⇐ (non-positive integer is a type of number), (non-positive integer is opposite of positive integer)
- second-order class is for example type of number ⇐ (type of number is a second-order class), (is a is inverse of is for example)
- fixed-order class is for example type of number ⇐ (type of number is a fixed-order class), (is a is inverse of is for example)
- type of number is for example even number ⇐ (even number is a type of number), (is a is inverse of is for example)
- type of number is for example odd number ⇐ (odd number is a type of number), (is a is inverse of is for example)
- type of number is for example composite number ⇐ (composite number is a type of number), (is a is inverse of is for example)
- type of number is for example integer ⇐ (integer is a type of number), (is a is inverse of is for example)
- type of number is for example prime number ⇐ (prime number is a type of number), (is a is inverse of is for example)
- type of number is for example non-positive integer ⇐ (non-positive integer is a type of number), (is a is inverse of is for example)
- type of number is subclass of class ⇐ (type of number is subclass of type), (type is subclass of class), (is subclass of is a transitive relation)
- type of number is subclass of abstract entity ⇐ (type of number is subclass of type), (type is subclass of abstract entity), (is subclass of is a transitive relation)
- type of number is subclass of entity ⇐ (type of number is subclass of type), (type is subclass of entity), (is subclass of is a transitive relation)
- type of number is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (type of number is a second-order class)
- prime number is a type of number ⇐ (type of integer is subclass of type of number), (prime number is a type of integer)
- even number is a type of number ⇐ (type of integer is subclass of type of number), (even number is a type of integer)
- composite number is a type of number ⇐ (type of integer is subclass of type of number), (composite number is a type of integer)
- odd number is a type of number ⇐ (type of integer is subclass of type of number), (odd number is a type of integer)