other

Deductions

• other has quality property ⇐ (other has quality class), (class has quality property), (has quality is a transitive relation)
• other has quality abstract entity ⇐ (type is a abstract entity), (other has quality type)
• other has quality class ⇐ (other is subclass of property), (property has quality class)
• other has quality taxonomic rank ⇐ (other is subclass of property), (property has quality taxonomic rank)
• other has quality existence ⇐ (other is subclass of property), (property has quality existence)
• other has quality criterion ⇐ (other is subclass of property), (property has quality criterion)
• other has quality type of property ⇐ (other is subclass of property), (property has quality type of property)
• other has quality quality ⇐ (other is subclass of property), (property has quality quality)
• other has quality superclass ⇐ (other is subclass of property), (property has quality superclass)
• other has quality type ⇐ (other is subclass of property), (property has quality type)
• other has quality entity ⇐ (other is subclass of property), (property has quality entity)
• other is subclass of property ⇐ (identity is subclass of property), (identity is opposite of other)
• other is subclass of subset ⇐ (identity is subclass of subset), (identity is opposite of other)
• other has quality quality ⇐ (other is subclass of relation), (relation has quality quality)
• other has quality type ⇐ (other is subclass of relation), (relation has quality type)
• other has quality type of relation ⇐ (other is subclass of relation), (relation has quality type of relation)
• other has quality class ⇐ (other is subclass of relation), (relation has quality class)
• other has quality criterion ⇐ (other is subclass of relation), (relation has quality criterion)
• other has quality abstract entity ⇐ (other is subclass of relation), (relation has quality abstract entity)
• other has quality property ⇐ (other is subclass of relation), (relation has quality property)
• other has quality type of property ⇐ (other is subclass of relation), (relation has quality type of property)
• other is subclass of property ⇐ (other is subclass of relation), (relation is subclass of property), (is subclass of is a transitive relation)
• other has quality superclass ⇐ (other is a class), (class has quality superclass)
• other has quality taxonomic rank ⇐ (other is a class), (class has quality taxonomic rank)
• other has quality entity ⇐ (other is a class), (class has quality entity)
• other has quality existence ⇐ (other is a class), (class has quality existence)
• other has part class ⇐ (type is a class), (other has part type)
• class is for example other ⇐ (other is a class), (is a is inverse of is for example)
• other is a class ⇐ (abstract entity is subclass of class), (other is a abstract entity)
• other has part abstract entity ⇐ (type is a abstract entity), (other has part type)
• other has part concept ⇐ (other is subclass of relation), (relation has part concept)
• other has part class ⇐ (other is subclass of relation), (relation has part class)
• other has part entity ⇐ (other is subclass of relation), (relation has part entity)
• other has part binary relation ⇐ (other is subclass of relation), (relation has part binary relation)
• other has part type of relation ⇐ (other is subclass of relation), (relation has part type of relation)
• other has part variable-order class ⇐ (other is subclass of relation), (relation has part variable-order class)
• other has part type ⇐ (other is subclass of relation), (relation has part type)
• other has part metaclass ⇐ (other is subclass of relation), (relation has part metaclass)
• other is subclass of binary relation ⇐ (identity is subclass of binary relation), (identity is opposite of other)
• other is subclass of endorelation ⇐ (identity is subclass of endorelation), (identity is opposite of other)
• other is subclass of reflexive relation ⇐ (identity is subclass of reflexive relation), (identity is opposite of other)
• other is subclass of relation ⇐ (identity is subclass of relation), (identity is opposite of other)
• other is subclass of entity ⇐ (identity is subclass of entity), (identity is opposite of other)
• other is subclass of abstract entity ⇐ (identity is subclass of abstract entity), (identity is opposite of other)
• concept is for example other ⇐ (other is a concept), (is a is inverse of is for example)
• entity is for example other ⇐ (other is a entity), (is a is inverse of is for example)
• abstract entity is for example other ⇐ (other is a abstract entity), (is a is inverse of is for example)
• other is subclass of class ⇐ (identity is subclass of class), (identity is opposite of other)
• other is subclass of set ⇐ (identity is subclass of set), (identity is opposite of other)
• other is a entity ⇐ (abstract entity is subclass of entity), (other is a abstract entity)
• other is a abstract entity ⇐ (concept is subclass of abstract entity), (other is a concept)