Deductions
- identity has quality property ⇐ (identity has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
- identity has quality class ⇐ (type of property is subclass of class), (identity has quality type of property)
- identity has quality class ⇐ (identity is subclass of property), (property has quality class)
- identity has quality type ⇐ (identity is subclass of property), (property has quality type)
- identity has quality quality ⇐ (identity is subclass of property), (property has quality quality)
- identity has quality type of property ⇐ (identity is subclass of property), (property has quality type of property)
- identity has quality criterion ⇐ (identity is subclass of property), (property has quality criterion)
- identity is subclass of subset ⇐ (identity is subclass of complement), (complement is subclass of subset), (is subclass of is a transitive relation)
- class is for example identity ⇐ (identity is a class), (is a is inverse of is for example)
- identity is a class ⇐ (abstract entity is subclass of class), (identity is a abstract entity)
- identity has quality type of property ⇐ (identity is subclass of relation), (relation has quality type of property)
- identity has quality property ⇐ (identity is subclass of relation), (relation has quality property)
- identity has quality criterion ⇐ (identity is subclass of relation), (relation has quality criterion)
- identity has quality quality ⇐ (identity is subclass of relation), (relation has quality quality)
- identity has quality type ⇐ (identity is subclass of relation), (relation has quality type)
- identity has quality type of relation ⇐ (identity is subclass of relation), (relation has quality type of relation)
- identity has quality class ⇐ (identity is subclass of relation), (relation has quality class)
- agender is subclass of identity ⇐ (gendered is subclass of identity), (gendered is opposite of agender)
- identity is subclass of complement ⇐ (other is subclass of complement), (other is opposite of identity)
- identity is subclass of relation ⇐ (difference is subclass of relation), (difference is opposite of identity)
- identity is subclass of property ⇐ (difference is subclass of property), (difference is opposite of identity)
- female is subclass of identity ⇐ (male is subclass of identity), (male is opposite of female)
- identity has quality extension of a concept ⇐ (identity is a philosophical concept), (philosophical concept has quality extension of a concept)
- identity has quality relation ⇐ (identity has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- identity has quality set ⇐ (identity has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- identity has quality abstract entity ⇐ (arity is a abstract entity), (identity has quality arity)
- identity has quality entity ⇐ (taxonomic rank is a entity), (identity has quality taxonomic rank)
- identity has quality class ⇐ (reflexivity is a class), (identity has quality reflexivity)
- identity has quality mathematical object ⇐ (arity is a mathematical object), (identity has quality arity)
- identity has quality existence ⇐ (identity is subclass of entity), (entity has quality existence)
- identity has quality existence ⇐ (identity is subclass of abstract entity), (abstract entity has quality existence)
- identity has quality superclass ⇐ (identity is subclass of abstract entity), (abstract entity has quality superclass)
- identity has quality taxonomic rank ⇐ (identity is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- philosophical concept is for example identity ⇐ (identity is a philosophical concept), (is a is inverse of is for example)
- entity is for example identity ⇐ (identity is a entity), (is a is inverse of is for example)
- concept is for example identity ⇐ (identity is a concept), (is a is inverse of is for example)
- abstract entity is for example identity ⇐ (identity is a abstract entity), (is a is inverse of is for example)
- identity is opposite of difference ⇐ difference is opposite of identity
- identity is subclass of abstract entity ⇐ (difference is subclass of abstract entity), (difference is opposite of identity)
- identity is subclass of entity ⇐ (difference is subclass of entity), (difference is opposite of identity)
- identity has quality arity ⇐ (identity has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- identity has quality number of entities ⇐ (identity has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- identity is subclass of abstract entity ⇐ (identity is subclass of property), (property is subclass of abstract entity), (is subclass of is a transitive relation)
- identity is subclass of entity ⇐ (identity is subclass of property), (property is subclass of entity), (is subclass of is a transitive relation)
- identity is subclass of set ⇐ (identity is subclass of binary relation), (binary relation is subclass of set), (is subclass of is a transitive relation)
- identity is subclass of class ⇐ (identity is subclass of binary relation), (binary relation is subclass of class), (is subclass of is a transitive relation)
- identity is subclass of mathematical object ⇐ (identity is subclass of binary relation), (binary relation is subclass of mathematical object), (is subclass of is a transitive relation)
- identity is subclass of relation ⇐ (identity is subclass of binary relation), (binary relation is subclass of relation), (is subclass of is a transitive relation)
- identity is subclass of endorelation ⇐ (identity is subclass of reflexive relation), (reflexive relation is subclass of endorelation), (is subclass of is a transitive relation)
- identity is subclass of binary relation ⇐ (identity is subclass of reflexive relation), (reflexive relation is subclass of binary relation), (is subclass of is a transitive relation)
- male is subclass of identity ⇐ (male is subclass of gendered), (gendered is subclass of identity), (is subclass of is a transitive relation)
- identity is subclass of property ⇐ (identity is subclass of quality), (quality is subclass of property), (is subclass of is a transitive relation)
- identity is a entity ⇐ (abstract entity is subclass of entity), (identity is a abstract entity)
- identity is a abstract entity ⇐ (concept is subclass of abstract entity), (identity is a concept)
- identity has quality mathematical property ⇐ (reflexivity is a mathematical property), (identity has quality reflexivity)
- identity has quality reflexivity ⇐ (identity is subclass of reflexive relation), (reflexive relation has quality reflexivity)
- identity is a philosophical concept ⇐ (difference is a philosophical concept), (difference is opposite of identity)
- identity is a concept ⇐ (other is a concept), (other is opposite of identity)