Deductions
- forest has quality abstract entity ⇐ (type is a abstract entity), (forest has quality type)
- forest has quality entity ⇐ (taxonomic rank is a entity), (forest has quality taxonomic rank)
- forest has quality class ⇐ (type of property is subclass of class), (forest has quality type of property)
- type of object is for example forest ⇐ (forest is a type of object), (is a is inverse of is for example)
- forest has quality class ⇐ (forest is a type of object), (type of object has quality class)
- forest has quality taxonomic rank ⇐ (forest is a type of object), (type of object has quality taxonomic rank)
- forest has quality criterion ⇐ (forest is a type of object), (type of object has quality criterion)
- forest has quality superclass ⇐ (forest is a type of object), (type of object has quality superclass)
- forest has quality property ⇐ (forest is a type of object), (type of object has quality property)
- forest has quality quality ⇐ (forest is a type of object), (type of object has quality quality)
- forest has quality type of property ⇐ (forest is a type of object), (type of object has quality type of property)
- forest has quality type ⇐ (forest is a type of object), (type of object has quality type)
- forest is a type of object ⇐ (feature type is subclass of type of object), (forest is a feature type)
- feature type is for example forest ⇐ (forest is a feature type), (is a is inverse of is for example)