Deductions
- natural number has part class ⇐ (entity is a class), (natural number has part entity)
- natural number has part concept ⇐ (class is a concept), (natural number has part class)
- natural number has quality class ⇐ (quality is a class), (natural number has quality quality)
- natural number has quality abstract entity ⇐ (type is a abstract entity), (natural number has quality type)
- natural number is for example many ⇐ (many is a natural number), (is a is inverse of is for example)
- natural number has quality entity ⇐ (taxonomic rank is a entity), (natural number has quality taxonomic rank)
- natural number has part variable-order class ⇐ (concept is a variable-order class), (natural number has part concept)
- natural number has part concept ⇐ (metaclass is a concept), (natural number has part metaclass)
- natural number has part metaclass ⇐ (abstract entity is a metaclass), (natural number has part abstract entity)
- natural number has part abstract entity ⇐ (class is a abstract entity), (natural number has part class)
- natural number has part class ⇐ (non-negative integer is a class), (natural number has part non-negative integer)
- natural number has part entity ⇐ (non-negative integer is a entity), (natural number has part non-negative integer)
- many is a natural number ⇐ (1 is a natural number), (1 is opposite of many)
- natural number is for example 1 ⇐ (1 is a natural number), (is a is inverse of is for example)
- class is for example natural number ⇐ (natural number is a class), (is a is inverse of is for example)
- entity is for example natural number ⇐ (natural number is a entity), (is a is inverse of is for example)
- natural number has quality superclass ⇐ (natural number is a class), (class has quality superclass)
- natural number has quality taxonomic rank ⇐ (natural number is a class), (class has quality taxonomic rank)
- natural number has quality type ⇐ (natural number is a class), (class has quality type)
- natural number has quality property ⇐ (natural number is a class), (class has quality property)
- natural number has quality quality ⇐ (natural number is a class), (class has quality quality)
- natural number has quality criterion ⇐ (natural number is a class), (class has quality criterion)
- natural number has quality existence ⇐ (natural number is a entity), (entity has quality existence)
- natural number is a entity ⇐ (class is subclass of entity), (natural number is a class)
- natural number is a class ⇐ (type of integer is subclass of class), (natural number is a type of integer)
- type of integer is for example natural number ⇐ (natural number is a type of integer), (is a is inverse of is for example)
- natural number is for example 2334 ⇐ (2334 is a natural number), (is a is inverse of is for example)