Deductions
- ordinal number has quality superclass ⇐ (ordinal number is a type of number), (type of number has quality superclass)
- ordinal number has quality taxonomic rank ⇐ (ordinal number is a type of number), (type of number has quality taxonomic rank)
- ordinal number has quality existence ⇐ (ordinal number is a type of number), (type of number has quality existence)
- ordinal number has quality entity ⇐ (ordinal number is a type of number), (type of number has quality entity)
- entity is for example ordinal number ⇐ (ordinal number is a entity), (is a is inverse of is for example)
- ordinal number is a entity ⇐ (type of number is subclass of entity), (ordinal number is a type of number)
- ordinal number is subclass of mathematical object ⇐ (ordinal number is subclass of number), (number is subclass of mathematical object), (is subclass of is a transitive relation)
- type of number is for example ordinal number ⇐ (ordinal number is a type of number), (is a is inverse of is for example)
- ordinal number has quality number of entities ⇐ (ordinal number has quality relation), (relation has quality number of entities), (has quality is a transitive relation)
- ordinal number has quality arity ⇐ (ordinal number has quality relation), (relation has quality arity), (has quality is a transitive relation)
- ordinal number has quality mathematical object ⇐ (ordinal number has quality relation), (relation has quality mathematical object), (has quality is a transitive relation)
- ordinal number has quality type ⇐ (ordinal number has quality class), (class has quality type), (has quality is a transitive relation)
- ordinal number has quality type of property ⇐ (ordinal number has quality class), (class has quality type of property), (has quality is a transitive relation)
- ordinal number has quality existence ⇐ (ordinal number has quality class), (class has quality existence), (has quality is a transitive relation)
- ordinal number has quality criterion ⇐ (ordinal number has quality class), (class has quality criterion), (has quality is a transitive relation)
- ordinal number has quality quality ⇐ (ordinal number has quality class), (class has quality quality), (has quality is a transitive relation)
- ordinal number has quality property ⇐ (ordinal number has quality class), (class has quality property), (has quality is a transitive relation)
- ordinal number has quality class ⇐ (set is a class), (ordinal number has quality set)
- ordinal number has quality abstract entity ⇐ (set is a abstract entity), (ordinal number has quality set)
- tertiary source has quality ordinal number ⇐ (third is a ordinal number), (tertiary source has quality third)
- Rules of Russian Orthography and Punctuation has quality ordinal number ⇐ (third is a ordinal number), (Rules of Russian Orthography and Punctuation has quality third)
- ordinal number has quality entity ⇐ (ordinal number is subclass of number), (number has quality entity)
- ordinal number has quality relation ⇐ (ordinal number is subclass of number), (number has quality relation)
- ordinal number has quality taxonomic rank ⇐ (ordinal number is subclass of number), (number has quality taxonomic rank)
- ordinal number has quality set ⇐ (ordinal number is subclass of number), (number has quality set)
- ordinal number has quality class ⇐ (ordinal number is subclass of number), (number has quality class)
- ordinal number has quality mathematical property ⇐ (ordinal number is subclass of number), (number has quality mathematical property)
- ordinal number has quality type of number ⇐ (ordinal number is subclass of number), (number has quality type of number)
- ordinal number has quality superclass ⇐ (ordinal number is subclass of number), (number has quality superclass)
- ordinal number is for example third ⇐ (third is a ordinal number), (is a is inverse of is for example)