Deductions
- nomination has quality superclass ⇐ (nomination has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- nomination has quality class ⇐ (abstract entity is a class), (nomination has quality abstract entity)
- nomination has quality superclass ⇐ (nomination has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- nomination has quality taxonomic rank ⇐ (nomination has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- nomination has quality abstract entity ⇐ (type is a abstract entity), (nomination has quality type)
- nomination has quality entity ⇐ (type is a entity), (nomination has quality type)
- nomination has quality type ⇐ (nomination has quality object), (object has quality type), (has quality is a transitive relation)
- nomination has quality existence ⇐ (nomination has quality object), (object has quality existence), (has quality is a transitive relation)
- nomination has quality type of object ⇐ (nomination has quality object), (object has quality type of object), (has quality is a transitive relation)
- nomination has quality object ⇐ (spatio-temporal entity is subclass of object), (nomination has quality spatio-temporal entity)
- nomination has quality spatio-temporal entity ⇐ (temporal entity is subclass of spatio-temporal entity), (nomination has quality temporal entity)
- nomination has quality temporal entity ⇐ (point in time is subclass of temporal entity), (nomination has quality point in time)
- nomination has quality point in time ⇐ (nomination is subclass of occurrence), (occurrence has quality point in time)