Deductions
- mapping has quality type ⇐ (mapping has quality class), (class has quality type), (has quality is a transitive relation)
- mapping has quality type of property ⇐ (mapping has quality class), (class has quality type of property), (has quality is a transitive relation)
- mapping has quality criterion ⇐ (mapping has quality class), (class has quality criterion), (has quality is a transitive relation)
- mapping has quality quality ⇐ (mapping has quality class), (class has quality quality), (has quality is a transitive relation)
- mapping has quality property ⇐ (mapping has quality class), (class has quality property), (has quality is a transitive relation)
- mapping has quality number of entities ⇐ (mapping has quality relation), (relation has quality number of entities), (has quality is a transitive relation)
- mapping has quality arity ⇐ (mapping has quality relation), (relation has quality arity), (has quality is a transitive relation)
- mapping has quality mathematical object ⇐ (mapping has quality relation), (relation has quality mathematical object), (has quality is a transitive relation)
- mapping has quality superclass ⇐ (mapping has quality left-totality), (left-totality has quality superclass), (has quality is a transitive relation)
- mapping has quality class ⇐ (mapping has quality left-totality), (left-totality has quality class), (has quality is a transitive relation)
- mapping has quality class ⇐ (mapping has quality mathematical property), (mathematical property has quality class), (has quality is a transitive relation)
- mapping has quality type of property ⇐ (mapping has quality mathematical property), (mathematical property has quality type of property), (has quality is a transitive relation)
- mapping has quality mathematical object ⇐ (mapping has quality mathematical property), (mathematical property has quality mathematical object), (has quality is a transitive relation)
- mapping has quality arity ⇐ (mapping has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- mapping has quality quality ⇐ (mapping has quality mathematical property), (mathematical property has quality quality), (has quality is a transitive relation)
- mapping has quality number of entities ⇐ (mapping has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- mapping has quality set ⇐ (mapping has quality left-totality), (left-totality has quality set), (has quality is a transitive relation)
- mapping has quality superclass ⇐ (mapping has quality left-totality), (left-totality has quality superclass), (has quality is a transitive relation)
- mapping has quality relation ⇐ (mapping has quality left-totality), (left-totality has quality relation), (has quality is a transitive relation)
- mapping has quality class ⇐ (mapping has quality left-totality), (left-totality has quality class), (has quality is a transitive relation)
- mapping has quality taxonomic rank ⇐ (mapping has quality left-totality), (left-totality has quality taxonomic rank), (has quality is a transitive relation)
- mapping has quality mathematical property ⇐ (mapping has quality left-totality), (left-totality has quality mathematical property), (has quality is a transitive relation)
- mapping has quality existence ⇐ (mapping has quality left-totality), (left-totality has quality existence), (has quality is a transitive relation)
- mapping has quality entity ⇐ (mapping has quality left-totality), (left-totality has quality entity), (has quality is a transitive relation)
- mapping has quality abstract entity ⇐ (mapping has quality left-totality), (left-totality has quality abstract entity), (has quality is a transitive relation)
- metric function has part mapping ⇐ (metric function is subclass of function), (function has part mapping)