Deductions
- individual quantity has quality class ⇐ (existence is a class), (individual quantity has quality existence)
- individual quantity has quality existence ⇐ (individual quantity has quality entity), (entity has quality existence), (has quality is a transitive relation)
- individual quantity has quality entity ⇐ (taxonomic rank is a entity), (individual quantity has quality taxonomic rank)
- abstract entity is for example individual quantity ⇐ (individual quantity is a abstract entity), (is a is inverse of is for example)
- class is for example individual quantity ⇐ (individual quantity is a class), (is a is inverse of is for example)
- individual quantity has quality superclass ⇐ (individual quantity is a class), (class has quality superclass)
- individual quantity has quality taxonomic rank ⇐ (individual quantity is a class), (class has quality taxonomic rank)
- individual quantity is a abstract entity ⇐ (general quantity is subclass of abstract entity), (individual quantity is a general quantity)
- individual quantity is a class ⇐ (general quantity is subclass of class), (individual quantity is a general quantity)
- general quantity is for example individual quantity ⇐ (individual quantity is a general quantity), (is a is inverse of is for example)
- arity is subclass of individual quantity ⇐ (arity is subclass of dimensionless quantity), (dimensionless quantity is subclass of individual quantity), (is subclass of is a transitive relation)