Deductions
- negative integer has quality entity ⇐ (taxonomic rank is a entity), (negative integer has quality taxonomic rank)
- negative integer is for example 3 ⇐ (3 is a negative integer), (is a is inverse of is for example)
- entity is for example negative integer ⇐ (negative integer is a entity), (is a is inverse of is for example)
- type of integer is for example negative integer ⇐ (negative integer is a type of integer), (is a is inverse of is for example)
- class is for example negative integer ⇐ (negative integer is a class), (is a is inverse of is for example)
- negative integer has quality superclass ⇐ (negative integer is a class), (class has quality superclass)
- negative integer has quality taxonomic rank ⇐ (negative integer is a class), (class has quality taxonomic rank)
- negative integer is a entity ⇐ (class is subclass of entity), (negative integer is a class)
- negative integer is a class ⇐ (type of integer is subclass of class), (negative integer is a type of integer)
- negative integer is a type of integer ⇐ (non-negative integer is a type of integer), (non-negative integer is opposite of negative integer)
- 3 is a negative integer ⇐ (−3 is a negative integer), (−3 is opposite of 3)
- negative integer is for example −3 ⇐ (−3 is a negative integer), (is a is inverse of is for example)
- negative integer is subclass of integer ⇐ (non-negative integer is subclass of integer), (non-negative integer is opposite of negative integer)