Deductions
- trophy has quality class ⇐ (quality is a class), (trophy has quality quality)
- trophy has quality abstract entity ⇐ (type is a abstract entity), (trophy has quality type)
- trophy has part entity ⇐ (class of award is a entity), (trophy has part class of award)
- trophy has quality entity ⇐ (taxonomic rank is a entity), (trophy has quality taxonomic rank)
- trophy has quality object ⇐ (key event is subclass of object), (trophy has quality key event)
- trophy has part fixed-order class ⇐ (second-order class is a fixed-order class), (trophy has part second-order class)
- trophy has quality class ⇐ (type of property is a class), (trophy has quality type of property)
- trophy has quality type ⇐ (trophy is subclass of award), (award has quality type)
- trophy has quality superclass ⇐ (trophy is subclass of award), (award has quality superclass)
- trophy has quality property ⇐ (trophy is subclass of award), (award has quality property)
- trophy has quality quality ⇐ (trophy is subclass of award), (award has quality quality)
- trophy has quality taxonomic rank ⇐ (trophy is subclass of award), (award has quality taxonomic rank)
- trophy has quality type of object ⇐ (trophy is subclass of award), (award has quality type of object)
- trophy has quality key event ⇐ (trophy is subclass of award), (award has quality key event)
- trophy has quality calendar date ⇐ (trophy is subclass of award), (award has quality calendar date)
- trophy has quality artificiality ⇐ (trophy is subclass of award), (award has quality artificiality)
- trophy has quality type of property ⇐ (trophy is subclass of award), (award has quality type of property)
- trophy has quality existence ⇐ (trophy is subclass of award), (award has quality existence)
- trophy has quality date of the first award ceremony ⇐ (trophy is subclass of award), (award has quality date of the first award ceremony)
- trophy has quality criterion ⇐ (trophy is subclass of award), (award has quality criterion)
- trophy has part second-order class ⇐ (class of award is a second-order class), (trophy has part class of award)
- trophy has part class of award ⇐ (trophy is subclass of award), (award has part class of award)
- trophy is for example Mandela Challenge Plate ⇐ (Mandela Challenge Plate is a trophy), (is a is inverse of is for example)