symbol

Deductions

• symbol has quality superclass ⇐ (symbol has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
• symbol has quality class ⇐ (abstract entity is a class), (symbol has quality abstract entity)
• symbol has quality superclass ⇐ (symbol has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
• symbol has quality taxonomic rank ⇐ (symbol has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
• symbol has quality abstract entity ⇐ (type is a abstract entity), (symbol has quality type)
• symbol is for example double turnstile ⇐ (double turnstile is a symbol), (is a is inverse of is for example)
• double turnstile is a symbol ⇐ (character is subclass of symbol), (double turnstile is a character)
• symbol has quality entity ⇐ (type is a entity), (symbol has quality type)
• symbol has quality type of object ⇐ (symbol is subclass of object), (object has quality type of object)
• symbol has quality type ⇐ (symbol is subclass of object), (object has quality type)
• symbol has quality existence ⇐ (symbol is subclass of object), (object has quality existence)
• notation is for example symbol ⇐ (symbol is a notation), (is a is inverse of is for example)
• symbol is for example implication arrow ⇐ (implication arrow is a symbol), (is a is inverse of is for example)
• symbol is for example turnstile ⇐ (turnstile is a symbol), (is a is inverse of is for example)
• symbol is for example orb ⇐ (orb is a symbol), (is a is inverse of is for example)
• symbol is for example arrow ⇐ (arrow is a symbol), (is a is inverse of is for example)
• symbol is subclass of object ⇐ (symbol is subclass of sign), (sign is subclass of object), (is subclass of is a transitive relation)
• flag is subclass of symbol ⇐ (flag is subclass of flag or coat of arms), (flag or coat of arms is subclass of symbol), (is subclass of is a transitive relation)
• flag or coat of arms is subclass of symbol ⇐ (flag or coat of arms is subclass of emblem), (emblem is subclass of symbol), (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)
• turnstile is a symbol ⇐ (mathematical symbol is subclass of symbol), (turnstile is a mathematical symbol)
• implication arrow is a symbol ⇐ (mathematical symbol is subclass of symbol), (implication arrow is a mathematical symbol)