Deductions
- triple has quality class ⇐ (abstract entity is a class), (triple has quality abstract entity)
- triple has quality entity ⇐ (triple has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- triple has quality existence ⇐ (triple has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- triple has quality superclass ⇐ (triple has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- triple has quality taxonomic rank ⇐ (triple has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- triple has quality abstract entity ⇐ (arity is a abstract entity), (triple has quality arity)
- triple has quality mathematical object ⇐ (arity is a mathematical object), (triple has quality arity)
- triple has quality number of entities ⇐ (arity is subclass of number of entities), (triple has quality arity)