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