Deductions
- type of dam has quality superclass ⇐ (type of dam has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of dam has quality class ⇐ (quality is a class), (type of dam has quality quality)
- type of dam has quality superclass ⇐ (type of dam has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of dam has quality taxonomic rank ⇐ (type of dam has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- type of dam has quality abstract entity ⇐ (property is a abstract entity), (type of dam has quality property)
- metaclass is for example type of dam ⇐ (type of dam is a metaclass), (is a is inverse of is for example)
- type of dam has quality entity ⇐ (property is a entity), (type of dam has quality property)
- type of dam has quality property ⇐ (type of dam is subclass of type), (type has quality property)
- type of dam has quality criterion ⇐ (type of dam is subclass of type), (type has quality criterion)
- type of dam has quality type of property ⇐ (type of dam is subclass of type), (type has quality type of property)
- type of dam has quality quality ⇐ (type of dam is subclass of type), (type has quality quality)
- type of dam has quality class ⇐ (type of dam is subclass of type), (type has quality class)
- type of dam has quality existence ⇐ (type of dam is subclass of type), (type has quality existence)
- type of dam is for example arch-gravity dam ⇐ (arch-gravity dam is a type of dam), (is a is inverse of is for example)
- type of dam is for example arch dam ⇐ (arch dam is a type of dam), (is a is inverse of is for example)