Deductions
- mixture has quality superclass ⇐ (mixture has quality chemical property), (chemical property has quality superclass), (has quality is a transitive relation)
- mixture has quality taxonomic rank ⇐ (mixture has quality chemical property), (chemical property has quality taxonomic rank), (has quality is a transitive relation)
- mixture has quality class ⇐ (mixture has quality chemical property), (chemical property has quality class), (has quality is a transitive relation)
- mixture has quality abstract entity ⇐ (type is a abstract entity), (mixture has quality type)
- mixture has quality existence ⇐ (mixture has quality entity), (entity has quality existence), (has quality is a transitive relation)
- mixture has quality entity ⇐ (type is a entity), (mixture has quality type)
- group or class of chemical entities is for example mixture ⇐ (mixture is a group or class of chemical entities), (is a is inverse of is for example)
- mixture is a group or class of chemical entities ⇐ (group or class of chemical substances is subclass of group or class of chemical entities), (mixture is a group or class of chemical substances)
- mixture has quality class ⇐ (type of property is a class), (mixture has quality type of property)
- mixture has quality type of property ⇐ (mixture is subclass of chemical entity), (chemical entity has quality type of property)
- mixture has quality type ⇐ (mixture is subclass of chemical entity), (chemical entity has quality type)
- mixture has quality chemical property ⇐ (mixture is subclass of chemical entity), (chemical entity has quality chemical property)
- group or class of chemical substances is for example mixture ⇐ (mixture is a group or class of chemical substances), (is a is inverse of is for example)
- mixture is subclass of chemical entity ⇐ (pure substance is subclass of chemical entity), (pure substance is opposite of mixture)