Deductions
- voting has quality class ⇐ (existence is a class), (voting has quality existence)
- action is for example voting ⇐ (voting is a action), (is a is inverse of is for example)
- voting is subclass of abstinence ⇐ (abstention is subclass of abstinence), (abstention is opposite of voting)
- voting has quality existence ⇐ (voting is subclass of entity), (entity has quality existence)
- voting is a action ⇐ (abstention is a action), (abstention is opposite of voting)
- voting is subclass of occurrent ⇐ (voting is subclass of event), (event is subclass of occurrent), (is subclass of is a transitive relation)
- voting is subclass of spatio-temporal entity ⇐ (voting is subclass of event), (event is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- voting is subclass of occurrence ⇐ (voting is subclass of event), (event is subclass of occurrence), (is subclass of is a transitive relation)
- voting is subclass of object ⇐ (voting is subclass of event), (event is subclass of object), (is subclass of is a transitive relation)
- voting is subclass of entity ⇐ (voting is subclass of event), (event is subclass of entity), (is subclass of is a transitive relation)
- 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)
- 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)