Deductions
- key event has quality superclass ⇐ (key event has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- key event has quality class ⇐ (abstract entity is a class), (key event has quality abstract entity)
- key event has quality superclass ⇐ (key event has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- key event has quality taxonomic rank ⇐ (key event has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- key event has quality abstract entity ⇐ (type is a abstract entity), (key event has quality type)
- key event is for example date of establishment ⇐ (date of establishment is a key event), (is a is inverse of is for example)
- key event is for example date of dissolution, abolition or demolition ⇐ (date of dissolution, abolition or demolition is a key event), (is a is inverse of is for example)
- key event has quality entity ⇐ (type is a entity), (key event has quality type)
- mandate has quality key event ⇐ (date of establishment is a key event), (mandate has quality date of establishment)
- anniversary has quality key event ⇐ (date of establishment is a key event), (anniversary has quality date of establishment)
- legal instrument has quality key event ⇐ (date of establishment is a key event), (legal instrument has quality date of establishment)
- key event has quality existence ⇐ (key event is subclass of object), (object has quality existence)
- key event has quality type ⇐ (key event is subclass of object), (object has quality type)
- key event has quality type of object ⇐ (key event is subclass of object), (object has quality type of object)
- Mandela Challenge Plate has quality key event ⇐ (Mandela Challenge Plate is a award), (award has quality key event)
- trophy has quality key event ⇐ (trophy is subclass of award), (award has quality key event)
- key event is for example date of the first award ceremony ⇐ (date of the first award ceremony is a key event), (is a is inverse of is for example)
- key event is subclass of entity ⇐ (key event is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- key event is subclass of spatio-temporal entity ⇐ (key event is subclass of occurrent), (occurrent is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- key event is subclass of object ⇐ (key event is subclass of occurrent), (occurrent is subclass of object), (is subclass of is a transitive relation)
- key event is subclass of occurrent ⇐ (key event is subclass of occurrence), (occurrence is subclass of occurrent), (is subclass of is a transitive relation)
- award has quality key event ⇐ (date of the first award ceremony is a key event), (award has quality date of the first award ceremony)
- Fellow of the Royal Society has quality key event ⇐ (date of the first award ceremony is a key event), (Fellow of the Royal Society has quality date of the first award ceremony)
- dramatic presentation award has quality key event ⇐ (date of the first award ceremony is a key event), (dramatic presentation award has quality date of the first award ceremony)