Deductions
- non-positive integer has quality class ⇐ (quality is a class), (non-positive integer has quality quality)
- non-positive integer has quality abstract entity ⇐ (type is a abstract entity), (non-positive integer has quality type)
- non-positive integer has quality entity ⇐ (taxonomic rank is a entity), (non-positive integer has quality taxonomic rank)
- non-positive integer has quality taxonomic rank ⇐ (non-positive integer is subclass of non-negative integer), (non-negative integer has quality taxonomic rank)
- non-positive integer has quality superclass ⇐ (non-positive integer is subclass of non-negative integer), (non-negative integer has quality superclass)
- type of integer is for example non-positive integer ⇐ (non-positive integer is a type of integer), (is a is inverse of is for example)
- class is for example non-positive integer ⇐ (non-positive integer is a class), (is a is inverse of is for example)
- entity is for example non-positive integer ⇐ (non-positive integer is a entity), (is a is inverse of is for example)
- non-positive integer is subclass of non-negative integer ⇐ (positive integer is subclass of non-negative integer), (positive integer is opposite of non-positive integer)
- non-positive integer has quality type ⇐ (non-positive integer is a class), (class has quality type)
- non-positive integer has quality property ⇐ (non-positive integer is a class), (class has quality property)
- non-positive integer has quality quality ⇐ (non-positive integer is a class), (class has quality quality)
- non-positive integer has quality criterion ⇐ (non-positive integer is a class), (class has quality criterion)
- non-positive integer has quality existence ⇐ (non-positive integer is a entity), (entity has quality existence)
- non-positive integer is a entity ⇐ (class is subclass of entity), (non-positive integer is a class)
- non-positive integer is a class ⇐ (type of integer is subclass of class), (non-positive integer is a type of integer)
- non-positive integer is a type of integer ⇐ (positive integer is a type of integer), (positive integer is opposite of non-positive integer)
- 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)
- non-positive integer is subclass of integer ⇐ (positive integer is subclass of integer), (positive integer is opposite of non-positive integer)