Deductions
- South Africa is part of Africa ⇐ (South Africa is part of Southern Africa), (Southern Africa is part of Africa), (is part of is a transitive relation)
- South Africa has quality class ⇐ (South Africa has quality quality), (quality has quality class), (has quality is a transitive relation)
- South Africa has quality property ⇐ (South Africa has quality criterion), (criterion has quality property), (has quality is a transitive relation)
- South Africa has quality abstract entity ⇐ (type is a abstract entity), (South Africa has quality type)
- South Africa has quality taxonomic rank ⇐ (South Africa has quality means), (means has quality taxonomic rank), (has quality is a transitive relation)
- South Africa has quality result ⇐ (South Africa has quality means), (means has quality result), (has quality is a transitive relation)
- South Africa has quality existence ⇐ (South Africa has quality means), (means has quality existence), (has quality is a transitive relation)
- South Africa has quality superclass ⇐ (South Africa has quality means), (means has quality superclass), (has quality is a transitive relation)
- South Africa has quality criterion ⇐ (South Africa has quality means), (means has quality criterion), (has quality is a transitive relation)
- South Africa has quality type ⇐ (South Africa has quality means), (means has quality type), (has quality is a transitive relation)
- South Africa has quality type of property ⇐ (South Africa has quality means), (means has quality type of property), (has quality is a transitive relation)
- South Africa has quality class ⇐ (South Africa has quality means), (means has quality class), (has quality is a transitive relation)
- South Africa has quality quality ⇐ (South Africa has quality means), (means has quality quality), (has quality is a transitive relation)
- South Africa has quality entity ⇐ (South Africa has quality means), (means has quality entity), (has quality is a transitive relation)
- South Africa has quality means ⇐ (free country is a means), (South Africa has quality free country)
- sovereign state is for example South Africa ⇐ (South Africa is a sovereign state), (is a is inverse of is for example)