Deductions
- national symbol has quality superclass ⇐ (national symbol has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- national symbol has quality class ⇐ (abstract entity is a class), (national symbol has quality abstract entity)
- national symbol has quality superclass ⇐ (national symbol has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- national symbol has quality taxonomic rank ⇐ (national symbol has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- national symbol has quality abstract entity ⇐ (type is a abstract entity), (national symbol has quality type)
- national symbol has quality entity ⇐ (type is a entity), (national symbol has quality type)
- national symbol is for example Coat of arms of South Africa ⇐ (Coat of arms of South Africa is a national symbol), (is a is inverse of is for example)
- national symbol is for example royal coat of arms of the United Kingdom ⇐ (royal coat of arms of the United Kingdom is a national symbol), (is a is inverse of is for example)
- royal coat of arms of the United Kingdom is a national symbol ⇐ (state symbol is subclass of national symbol), (royal coat of arms of the United Kingdom is a state symbol)
- Coat of arms of South Africa is a national symbol ⇐ (state symbol is subclass of national symbol), (Coat of arms of South Africa is a state symbol)
- national symbol has quality type of object ⇐ (national symbol is subclass of object), (object has quality type of object)
- national symbol has quality type ⇐ (national symbol is subclass of object), (object has quality type)
- national symbol has quality existence ⇐ (national symbol is subclass of object), (object has quality existence)
- national symbol is for example flag of the United States of America ⇐ (flag of the United States of America is a national symbol), (is a is inverse of is for example)
- national symbol is for example flag of Republika Srpska ⇐ (flag of Republika Srpska is a national symbol), (is a is inverse of is for example)
- national symbol is for example flag of Russia ⇐ (flag of Russia is a national symbol), (is a is inverse of is for example)
- 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 symbol is for example flag of the United Kingdom ⇐ (flag of the United Kingdom is a national symbol), (is a is inverse of is for example)
- national symbol is subclass of object ⇐ (national symbol is subclass of sign), (sign is subclass of object), (is subclass of is a transitive relation)
- national symbol is subclass of sign ⇐ (national symbol is subclass of symbol), (symbol is subclass of sign), (is subclass of is a transitive relation)
- flag of the United Kingdom is a national symbol ⇐ (national flag is subclass of national symbol), (flag of the United Kingdom is a national flag)
- flag of Russia is a national symbol ⇐ (national flag is subclass of national symbol), (flag of Russia is a national flag)
- flag of South Africa is a national symbol ⇐ (national flag is subclass of national symbol), (flag of South Africa is a national flag)
- flag of the United States of America is a national symbol ⇐ (national flag is subclass of national symbol), (flag of the United States of America is a national flag)
- flag of Republika Srpska is a national symbol ⇐ (national flag is subclass of national symbol), (flag of Republika Srpska is a national flag)