Deductions
- difference has quality superclass ⇐ (difference has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- difference has part class ⇐ (entity is a class), (difference has part entity)
- difference has part abstract entity ⇐ (property is a abstract entity), (difference has part property)
- quality is for example difference ⇐ (difference is a quality), (is a is inverse of is for example)
- difference is subclass of equality ⇐ (commonality is subclass of equality), (commonality is opposite of difference)
- difference is opposite of commonality ⇐ commonality is opposite of difference
- difference is a quality ⇐ (commonality is a quality), (commonality is opposite of difference)
- difference has quality superclass ⇐ (difference is subclass of subset), (subset has quality superclass)
- difference has quality existence ⇐ (difference is subclass of subset), (subset has quality existence)
- difference has quality mathematical object ⇐ (difference is subclass of subset), (subset has quality mathematical object)
- difference has quality arity ⇐ (difference is subclass of subset), (subset has quality arity)
- difference has quality taxonomic rank ⇐ (difference is subclass of subset), (subset has quality taxonomic rank)
- difference has quality number of entities ⇐ (difference is subclass of subset), (subset has quality number of entities)
- wears has quality difference ⇐ (wears is a software resource), (software resource has quality difference)
- difference is subclass of subset ⇐ (identity is subclass of subset), (identity is opposite of difference)
- difference has part class ⇐ (abstract entity is a class), (difference has part abstract entity)
- Wikidata property related to fashion has quality difference ⇐ (Wikidata property related to fashion is subclass of software resource), (software resource has quality difference)
- counter-revolution has quality difference ⇐ (counter-revolution is subclass of change), (change has quality difference)
- difference has quality class ⇐ (abstract entity is a class), (difference has quality abstract entity)
- class is for example difference ⇐ (difference is a class), (is a is inverse of is for example)
- difference is subclass of complement ⇐ (identity is subclass of complement), (identity is opposite of difference)
- difference is a class ⇐ (identity is a class), (identity is opposite of difference)
- difference has quality superclass ⇐ (difference has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- difference has quality taxonomic rank ⇐ (difference has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- difference has quality abstract entity ⇐ (type is a abstract entity), (difference has quality type)
- difference is subclass of binary relation ⇐ (identity is subclass of binary relation), (identity is opposite of difference)
- difference is subclass of endorelation ⇐ (identity is subclass of endorelation), (identity is opposite of difference)
- difference is subclass of reflexive relation ⇐ (identity is subclass of reflexive relation), (identity is opposite of difference)
- difference is subclass of relation ⇐ (identity is subclass of relation), (identity is opposite of difference)
- Köppen climate classification has quality difference ⇐ (Köppen climate classification is a software resource), (software resource has quality difference)
- mascot has quality difference ⇐ (mascot is a software resource), (software resource has quality difference)
- cause of death has quality difference ⇐ (cause of death is a software resource), (software resource has quality difference)
- business model has quality difference ⇐ (business model is a software resource), (software resource has quality difference)
- sexual orientation has quality difference ⇐ (sexual orientation is a software resource), (software resource has quality difference)
- difference has quality existence ⇐ (difference has quality entity), (entity has quality existence), (has quality is a transitive relation)
- difference has quality entity ⇐ (type is a entity), (difference has quality type)
- difference has part variable-order class ⇐ (concept is a variable-order class), (difference has part concept)
- difference has part concept ⇐ (metaclass is a concept), (difference has part metaclass)
- difference has part abstract entity ⇐ (metaclass is a abstract entity), (difference has part metaclass)
- difference has part entity ⇐ (property is a entity), (difference has part property)
- similarity is subclass of difference ⇐ (difference is subclass of difference), (difference is opposite of similarity)
- indistinguishability is subclass of difference ⇐ (difference is subclass of difference), (difference is opposite of indistinguishability)
- armament has quality difference ⇐ (armament is a software resource), (software resource has quality difference)
- category for value not in Wikidata has quality difference ⇐ (category for value not in Wikidata is a software resource), (software resource has quality difference)
- commanded by has quality difference ⇐ (commanded by is a software resource), (software resource has quality difference)
- flag has quality difference ⇐ (flag is a software resource), (software resource has quality difference)
- property constraint has quality difference ⇐ (property constraint is a software resource), (software resource has quality difference)
- sex or gender has quality difference ⇐ (sex or gender is a software resource), (software resource has quality difference)
- geography of topic has quality difference ⇐ (geography of topic is a software resource), (software resource has quality difference)
- software resource has quality difference ⇐ (software resource is a flaw), (flaw has quality difference)
- difference has quality class ⇐ (type of relation is a class), (difference has quality type of relation)
- difference has part metaclass ⇐ (property is a metaclass), (difference has part property)
- concept is for example difference ⇐ (difference is a concept), (is a is inverse of is for example)
- type is for example difference ⇐ (difference is a type), (is a is inverse of is for example)
- type of relation is for example difference ⇐ (difference is a type of relation), (is a is inverse of is for example)
- philosophical concept is for example difference ⇐ (difference is a philosophical concept), (is a is inverse of is for example)
- abstract entity is for example difference ⇐ (difference is a abstract entity), (is a is inverse of is for example)
- entity is for example difference ⇐ (difference is a entity), (is a is inverse of is for example)
- difference is opposite of similarity ⇐ similarity is opposite of difference
- identity is opposite of difference ⇐ difference is opposite of identity
- religiosity has quality difference ⇐ (religiosity is a change), (change has quality difference)
- irreligion has quality difference ⇐ (irreligion is a change), (change has quality difference)
- difference is subclass of entity ⇐ (difference is subclass of relation), (relation is subclass of entity), (is subclass of is a transitive relation)
- difference is subclass of abstract entity ⇐ (difference is subclass of relation), (relation is subclass of abstract entity), (is subclass of is a transitive relation)
- difference is subclass of relation ⇐ (difference is subclass of difference), (difference is subclass of relation), (is subclass of is a transitive relation)
- difference is subclass of property ⇐ (difference is subclass of difference), (difference is subclass of property), (is subclass of is a transitive relation)
- difference is subclass of property ⇐ (difference is subclass of relation), (relation is subclass of property), (is subclass of is a transitive relation)
- difference is a entity ⇐ (abstract entity is subclass of entity), (difference is a abstract entity)
- difference is a abstract entity ⇐ (concept is subclass of abstract entity), (difference is a concept)
- difference is a type ⇐ (type of relation is subclass of type), (difference is a type of relation)
- difference is a concept ⇐ (philosophical concept is subclass of concept), (difference is a philosophical concept)
- difference has quality type ⇐ (type of relation is subclass of type), (difference has quality type of relation)
- difference has quality type of relation ⇐ (difference is subclass of difference), (difference has quality type of relation)
- difference has quality type of relation ⇐ (difference is subclass of relation), (relation has quality type of relation)
- difference is a type of relation ⇐ (similarity is a type of relation), (similarity is opposite of difference)