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