Deductions
- flag of South Africa has quality class ⇐ (abstract entity is a class), (flag of South Africa has quality abstract entity)
- flag of South Africa has quality abstract entity ⇐ (type is a abstract entity), (flag of South Africa has quality type)
- flag of South Africa has quality entity ⇐ (type is a entity), (flag of South Africa has quality type)
- object is for example flag of South Africa ⇐ (flag of South Africa is a object), (is a is inverse of is for example)
- flag of South Africa has quality existence ⇐ (flag of South Africa is a object), (object has quality existence)
- flag of South Africa has quality type ⇐ (flag of South Africa is a object), (object has quality type)
- flag of South Africa has quality type of object ⇐ (flag of South Africa is a object), (object has quality type of object)
- flag of South Africa is a object ⇐ (national flag is subclass of object), (flag of South Africa is a national flag)
- national symbol is for example flag of South Africa ⇐ (flag of South Africa is a national symbol), (is a is inverse of is for example)
- national flag is for example flag of South Africa ⇐ (flag of South Africa is a national flag), (is a is inverse of is for example)
- flag of South Africa is a national symbol ⇐ (national flag is subclass of national symbol), (flag of South Africa is a national flag)