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