Deductions
- class is for example South African presidential election ⇐ (South African presidential election is a class), (is a is inverse of is for example)
- entity is for example South African presidential election ⇐ (South African presidential election is a entity), (is a is inverse of is for example)
- South African presidential election is a entity ⇐ (class is subclass of entity), (South African presidential election is a class)
- South African presidential election is a class ⇐ (class of election is subclass of class), (South African presidential election is a class of election)
- South African presidential election is for example 1994 South African presidential elections ⇐ (1994 South African presidential elections is a South African presidential election), (is a is inverse of is for example)
- class of election is for example South African presidential election ⇐ (South African presidential election is a class of election), (is a is inverse of is for example)
- South African presidential election is for example 1989 South African presidential election ⇐ (1989 South African presidential election is a South African presidential election), (is a is inverse of is for example)
- South African presidential election is subclass of voting ⇐ (South African presidential election is subclass of presidential election), (presidential election is subclass of voting), (is subclass of is a transitive relation)
- South African presidential election is subclass of public election ⇐ (South African presidential election is subclass of presidential election), (presidential election is subclass of public election), (is subclass of is a transitive relation)