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