Deductions
- inverse element has quality class ⇐ (quality is a class), (inverse element has quality quality)
- inverse element has quality number of entities ⇐ (inverse element has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- inverse element has quality arity ⇐ (inverse element has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- inverse element has quality criterion ⇐ (inverse element has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
- inverse element has quality taxonomic rank ⇐ (inverse element has quality mathematical object), (mathematical object has quality taxonomic rank), (has quality is a transitive relation)
- inverse element has quality relation ⇐ (inverse element has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- inverse element has quality set ⇐ (inverse element has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- inverse element has quality superclass ⇐ (inverse element has quality mathematical object), (mathematical object has quality superclass), (has quality is a transitive relation)
- inverse element has quality property ⇐ (inverse element has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
- inverse element has quality abstract entity ⇐ (inverse element has quality mathematical object), (mathematical object has quality abstract entity), (has quality is a transitive relation)
- inverse element has quality type ⇐ (inverse element has quality mathematical object), (mathematical object has quality type), (has quality is a transitive relation)
- inverse element has quality mathematical property ⇐ (inverse element has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- inverse element has quality quality ⇐ (inverse element has quality mathematical object), (mathematical object has quality quality), (has quality is a transitive relation)
- inverse element has quality entity ⇐ (inverse element has quality mathematical object), (mathematical object has quality entity), (has quality is a transitive relation)
- inverse element has quality existence ⇐ (inverse element has quality mathematical object), (mathematical object has quality existence), (has quality is a transitive relation)
- inverse element has quality class ⇐ (inverse element has quality mathematical object), (mathematical object has quality class), (has quality is a transitive relation)
- inverse element has quality type of property ⇐ (inverse element has quality mathematical object), (mathematical object has quality type of property), (has quality is a transitive relation)
- inverse element has quality mathematical object ⇐ (is an element of is subclass of mathematical object), (inverse element has quality is an element of)
- inverse element is subclass of element ⇐ (inverse element is subclass of element), (element is subclass of element), (is subclass of is a transitive relation)
- inverse element is subclass of mathematical object ⇐ (inverse element is subclass of element), (element is subclass of mathematical object), (is subclass of is a transitive relation)
- inverse element has quality is an element of ⇐ (inverse element is subclass of element), (element has quality is an element of)