Deductions
- turnstile has quality class ⇐ (abstract entity is a class), (turnstile has quality abstract entity)
- turnstile has quality abstract entity ⇐ (type is a abstract entity), (turnstile has quality type)
- turnstile has quality entity ⇐ (type is a entity), (turnstile has quality type)
- object is for example turnstile ⇐ (turnstile is a object), (is a is inverse of is for example)
- turnstile has quality existence ⇐ (turnstile is a object), (object has quality existence)
- turnstile has quality type ⇐ (turnstile is a object), (object has quality type)
- turnstile has quality type of object ⇐ (turnstile is a object), (object has quality type of object)
- turnstile is a object ⇐ (symbol is subclass of object), (turnstile is a symbol)
- symbol is for example turnstile ⇐ (turnstile is a symbol), (is a is inverse of is for example)
- mathematical symbol is for example turnstile ⇐ (turnstile is a mathematical symbol), (is a is inverse of is for example)
- turnstile is a symbol ⇐ (mathematical symbol is subclass of symbol), (turnstile is a mathematical symbol)