Deductions
- arrow has quality class ⇐ (abstract entity is a class), (arrow has quality abstract entity)
- arrow has quality abstract entity ⇐ (type is a abstract entity), (arrow has quality type)
- arrow has quality entity ⇐ (type is a entity), (arrow has quality type)
- object is for example arrow ⇐ (arrow is a object), (is a is inverse of is for example)
- arrow has quality existence ⇐ (arrow is a object), (object has quality existence)
- arrow has quality type ⇐ (arrow is a object), (object has quality type)
- arrow has quality type of object ⇐ (arrow is a object), (object has quality type of object)
- arrow is a object ⇐ (symbol is subclass of object), (arrow is a symbol)
- symbol is for example arrow ⇐ (arrow is a symbol), (is a is inverse of is for example)
- arrow is subclass of locus ⇐ (arrow is subclass of shape), (shape is subclass of locus), (is subclass of is a transitive relation)