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