Deductions
- event has quality class ⇐ (abstract entity is a class), (event has quality abstract entity)
- abstention is subclass of event ⇐ (voting is subclass of event), (voting is opposite of abstention)
- event has quality entity ⇐ (type is a entity), (event has quality type)
- event has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (event has quality metaclass)
- event is for example 2004 South African presidential elections ⇐ (2004 South African presidential elections is a event), (is a is inverse of is for example)
- event is for example 1994 South African presidential elections ⇐ (1994 South African presidential elections is a event), (is a is inverse of is for example)
- event is for example World Economic Forum Annual Meeting 1992 ⇐ (World Economic Forum Annual Meeting 1992 is a event), (is a is inverse of is for example)
- event is for example World Economic Forum Annual Meeting 1993 ⇐ (World Economic Forum Annual Meeting 1993 is a event), (is a is inverse of is for example)
- event is for example 1989 South African presidential election ⇐ (1989 South African presidential election is a event), (is a is inverse of is for example)
- event is for example World Economic Forum Annual Meeting 1991 ⇐ (World Economic Forum Annual Meeting 1991 is a event), (is a is inverse of is for example)
- World Economic Forum Annual Meeting 1992 is a event ⇐ (World Economic Forum Annual Meeting is subclass of event), (World Economic Forum Annual Meeting 1992 is a World Economic Forum Annual Meeting)
- World Economic Forum Annual Meeting 1991 is a event ⇐ (World Economic Forum Annual Meeting is subclass of event), (World Economic Forum Annual Meeting 1991 is a World Economic Forum Annual Meeting)
- World Economic Forum Annual Meeting 1993 is a event ⇐ (World Economic Forum Annual Meeting is subclass of event), (World Economic Forum Annual Meeting 1993 is a World Economic Forum Annual Meeting)
- 1989 South African presidential election is a event ⇐ (presidential election is subclass of event), (1989 South African presidential election is a presidential election)
- 2004 South African presidential elections is a event ⇐ (presidential election is subclass of event), (2004 South African presidential elections is a presidential election)
- 1994 South African presidential elections is a event ⇐ (presidential election is subclass of event), (1994 South African presidential elections is a presidential election)
- event has quality metaclass ⇐ (form of event is a metaclass), (event has quality form of event)
- event has quality type ⇐ (event has quality object), (object has quality type), (has quality is a transitive relation)
- event has quality existence ⇐ (event has quality object), (object has quality existence), (has quality is a transitive relation)
- event has quality type of object ⇐ (event has quality object), (object has quality type of object), (has quality is a transitive relation)
- presidential election is subclass of event ⇐ (presidential election is subclass of voting), (voting is subclass of event), (is subclass of is a transitive relation)
- World Economic Forum Annual Meeting is subclass of event ⇐ (World Economic Forum Annual Meeting is subclass of convention), (convention is subclass of event), (is subclass of is a transitive relation)
- event is subclass of entity ⇐ (event is subclass of spatio-temporal entity), (spatio-temporal entity is subclass of entity), (is subclass of is a transitive relation)
- convention is subclass of event ⇐ (convention is subclass of meeting), (meeting is subclass of event), (is subclass of is a transitive relation)
- event is subclass of occurrent ⇐ (event is subclass of occurrence), (occurrence is subclass of occurrent), (is subclass of is a transitive relation)
- event is subclass of object ⇐ (event is subclass of occurrence), (occurrence is subclass of object), (is subclass of is a transitive relation)
- event is subclass of spatio-temporal entity ⇐ (event is subclass of occurrence), (occurrence is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- event has quality object ⇐ (spatio-temporal entity is subclass of object), (event has quality spatio-temporal entity)
- event has quality spatio-temporal entity ⇐ (temporal entity is subclass of spatio-temporal entity), (event has quality temporal entity)
- event has quality temporal entity ⇐ (point in time is subclass of temporal entity), (event has quality point in time)
- event has quality point in time ⇐ (event is subclass of occurrence), (occurrence has quality point in time)