Deductions
- presidential election has quality class ⇐ (abstract entity is a class), (presidential election has quality abstract entity)
- presidential election has quality entity ⇐ (type is a entity), (presidential election has quality type)
- presidential election has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (presidential election has quality metaclass)
- presidential election has quality metaclass ⇐ (form of event is a metaclass), (presidential election has quality form of event)
- presidential election has quality type ⇐ (presidential election is subclass of event), (event has quality type)
- presidential election has quality existence ⇐ (presidential election is subclass of event), (event has quality existence)
- presidential election has quality spatio-temporal entity ⇐ (presidential election is subclass of event), (event has quality spatio-temporal entity)
- presidential election has quality point in time ⇐ (presidential election is subclass of event), (event has quality point in time)
- presidential election has quality type of object ⇐ (presidential election is subclass of event), (event has quality type of object)
- presidential election has quality object ⇐ (presidential election is subclass of event), (event has quality object)
- presidential election has quality form of event ⇐ (presidential election is subclass of event), (event has quality form of event)
- presidential election has quality temporal entity ⇐ (presidential election is subclass of event), (event has quality temporal entity)
- presidential election is for example 1989 South African presidential election ⇐ (1989 South African presidential election is a presidential election), (is a is inverse of is for example)
- presidential election is for example 2004 South African presidential elections ⇐ (2004 South African presidential elections is a presidential election), (is a is inverse of is for example)
- presidential election is for example 1994 South African presidential elections ⇐ (1994 South African presidential elections is a presidential election), (is a is inverse of is for example)
- presidential election is subclass of event ⇐ (presidential election is subclass of voting), (voting is subclass of event), (is subclass of is a transitive relation)
- presidential election is subclass of voting ⇐ (presidential election is subclass of public election), (public election is subclass of voting), (is subclass of is a transitive relation)
- 1989 South African presidential election is a presidential election ⇐ (South African presidential election is subclass of presidential election), (1989 South African presidential election is a South African presidential election)
- 1994 South African presidential elections is a presidential election ⇐ (South African presidential election is subclass of presidential election), (1994 South African presidential elections is a South African presidential election)