Deductions
- entity is for example emblem ⇐ (emblem is a entity), (is a is inverse of is for example)
- emblem is a entity ⇐ (art genre is subclass of entity), (emblem is a art genre)
- art genre is for example emblem ⇐ (emblem is a art genre), (is a is inverse of is for example)
- emblem has quality tone (work) ⇐ (emblem is a art genre), (art genre has quality tone (work))
- emblem is subclass of entity ⇐ (emblem is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- emblem is subclass of sign ⇐ (emblem is subclass of symbol), (symbol is subclass of sign), (is subclass of is a transitive relation)
- emblem is subclass of object ⇐ (emblem is subclass of symbol), (symbol is subclass of object), (is subclass of is a transitive relation)
- flag is subclass of emblem ⇐ (flag is subclass of flag or coat of arms), (flag or coat of arms is subclass of emblem), (is subclass of is a transitive relation)