Deductions
- WikiProject South Africa has quality class ⇐ (existence is a class), (WikiProject South Africa has quality existence)
- occurrent is for example WikiProject South Africa ⇐ (WikiProject South Africa is a occurrent), (is a is inverse of is for example)
- entity is for example WikiProject South Africa ⇐ (WikiProject South Africa is a entity), (is a is inverse of is for example)
- spatio-temporal entity is for example WikiProject South Africa ⇐ (WikiProject South Africa is a spatio-temporal entity), (is a is inverse of is for example)
- WikiProject South Africa has quality existence ⇐ (WikiProject South Africa is a spatio-temporal entity), (spatio-temporal entity has quality existence)
- WikiProject South Africa has quality point in time ⇐ (WikiProject South Africa is a spatio-temporal entity), (spatio-temporal entity has quality point in time)
- WikiProject South Africa is a spatio-temporal entity ⇐ (WikiProject is subclass of spatio-temporal entity), (WikiProject South Africa is a WikiProject)
- WikiProject South Africa is a entity ⇐ (WikiProject is subclass of entity), (WikiProject South Africa is a WikiProject)
- WikiProject South Africa is a occurrent ⇐ (WikiProject is subclass of occurrent), (WikiProject South Africa is a WikiProject)
- collaboration is for example WikiProject South Africa ⇐ (WikiProject South Africa is a collaboration), (is a is inverse of is for example)
- WikiProject is for example WikiProject South Africa ⇐ (WikiProject South Africa is a WikiProject), (is a is inverse of is for example)
- WikiProject South Africa is a collaboration ⇐ (WikiProject is subclass of collaboration), (WikiProject South Africa is a WikiProject)