Deductions
- character has quality superclass ⇐ (character has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- character has quality class ⇐ (abstract entity is a class), (character has quality abstract entity)
- character has quality superclass ⇐ (character has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- character has quality taxonomic rank ⇐ (character has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- character has quality abstract entity ⇐ (type is a abstract entity), (character has quality type)
- character has quality entity ⇐ (type is a entity), (character has quality type)
- character has quality type of object ⇐ (character is subclass of object), (object has quality type of object)
- character has quality type ⇐ (character is subclass of object), (object has quality type)
- character has quality existence ⇐ (character is subclass of object), (object has quality existence)
- character is for example double turnstile ⇐ (double turnstile is a character), (is a is inverse of is for example)
- character is subclass of sign ⇐ (character is subclass of symbol), (symbol is subclass of sign), (is subclass of is a transitive relation)
- character is subclass of object ⇐ (character is subclass of symbol), (symbol is subclass of object), (is subclass of is a transitive relation)