Deductions
- quantity has quality property ⇐ (quantity has quality class), (class has quality property), (has quality is a transitive relation)
- quantity has quality abstract entity ⇐ (type is a abstract entity), (quantity has quality type)
- multi-story urban building has quality quantity ⇐ (number of floors is subclass of quantity), (multi-story urban building has quality number of floors)
- low-rise building has quality quantity ⇐ (number of floors is subclass of quantity), (low-rise building has quality number of floors)
- quantity has quality class ⇐ (quantity is subclass of property), (property has quality class)
- quantity has quality taxonomic rank ⇐ (quantity is subclass of property), (property has quality taxonomic rank)
- quantity has quality existence ⇐ (quantity is subclass of property), (property has quality existence)
- quantity has quality criterion ⇐ (quantity is subclass of property), (property has quality criterion)
- quantity has quality type of property ⇐ (quantity is subclass of property), (property has quality type of property)
- quantity has quality quality ⇐ (quantity is subclass of property), (property has quality quality)
- quantity has quality superclass ⇐ (quantity is subclass of property), (property has quality superclass)
- quantity has quality type ⇐ (quantity is subclass of property), (property has quality type)
- quantity has quality entity ⇐ (quantity is subclass of property), (property has quality entity)
- quantity has quality class ⇐ (existence is a class), (quantity has quality existence)
- quantity has quality existence ⇐ (quantity has quality sign system), (sign system has quality existence), (has quality is a transitive relation)
- quantity has quality taxonomic rank ⇐ (quantity has quality sign system), (sign system has quality taxonomic rank), (has quality is a transitive relation)
- quantity has quality superclass ⇐ (quantity has quality sign system), (sign system has quality superclass), (has quality is a transitive relation)
- quantity has quality entity ⇐ (quantity has quality sign system), (sign system has quality entity), (has quality is a transitive relation)
- quantity has quality sign system ⇐ (level of measurement is a sign system), (quantity has quality level of measurement)
- type of property is for example quantity ⇐ (quantity is a type of property), (is a is inverse of is for example)
- qualitative property is opposite of quantity ⇐ quantity is opposite of qualitative property
- 1 is subclass of quantity ⇐ (many is subclass of quantity), (many is opposite of 1)