Deductions
- discography has quality binary relation ⇐ (subclass is a binary relation), (discography has quality subclass)
- consensus has quality binary relation ⇐ (subclass is a binary relation), (consensus has quality subclass)
- Wikimedia albums discography has quality binary relation ⇐ (subclass is a binary relation), (Wikimedia albums discography has quality subclass)
- binary relation is for example equality ⇐ (equality is a binary relation), (is a is inverse of is for example)
- binary relation is for example not equal to ⇐ (not equal to is a binary relation), (is a is inverse of is for example)
- equality is a binary relation ⇐ (not equal to is a binary relation), (not equal to is opposite of equality)
- geography of topic has quality binary relation ⇐ (subclass is a binary relation), (geography of topic has quality subclass)
- Wikidata property related to fashion has quality binary relation ⇐ (subclass is a binary relation), (Wikidata property related to fashion has quality subclass)
- irreligion has quality binary relation ⇐ (subclass is a binary relation), (irreligion has quality subclass)
- property constraint has quality binary relation ⇐ (subclass is a binary relation), (property constraint has quality subclass)
- Köppen climate classification has quality binary relation ⇐ (subclass is a binary relation), (Köppen climate classification has quality subclass)
- software resource has quality binary relation ⇐ (subclass is a binary relation), (software resource has quality subclass)
- mascot has quality binary relation ⇐ (subclass is a binary relation), (mascot has quality subclass)
- counter-revolution has quality binary relation ⇐ (subclass is a binary relation), (counter-revolution has quality subclass)
- religiosity has quality binary relation ⇐ (subclass is a binary relation), (religiosity has quality subclass)
- cause of death has quality binary relation ⇐ (subclass is a binary relation), (cause of death has quality subclass)
- business model has quality binary relation ⇐ (subclass is a binary relation), (business model has quality subclass)
- category for value not in Wikidata has quality binary relation ⇐ (subclass is a binary relation), (category for value not in Wikidata has quality subclass)
- sexual orientation has quality binary relation ⇐ (subclass is a binary relation), (sexual orientation has quality subclass)
- commanded by has quality binary relation ⇐ (subclass is a binary relation), (commanded by has quality subclass)
- flag has quality binary relation ⇐ (subclass is a binary relation), (flag has quality subclass)
- sex or gender has quality binary relation ⇐ (subclass is a binary relation), (sex or gender has quality subclass)
- wears has quality binary relation ⇐ (subclass is a binary relation), (wears has quality subclass)
- change has quality binary relation ⇐ (subclass is a binary relation), (change has quality subclass)
- flaw has quality binary relation ⇐ (subclass is a binary relation), (flaw has quality subclass)
- armament has quality binary relation ⇐ (subclass is a binary relation), (armament has quality subclass)
- asymmetry property has quality binary relation ⇐ (subclass is a binary relation), (asymmetry property has quality subclass)
- Category:Pages using Wikidata property P3095 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P3095 has quality metric function)
- Category:Pages using Wikidata property P26 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P26 has quality metric function)
- Category:Pages using Wikidata property P22 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P22 has quality metric function)
- Category:Fellows of the American Academy of Arts and Sciences has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Fellows of the American Academy of Arts and Sciences has quality metric function)
- Category:Wikipedia maintenance has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Wikipedia maintenance has quality metric function)
- Category:Science fiction literature has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Science fiction literature has quality metric function)
- Category:WikiProject Mathematics has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:WikiProject Mathematics has quality metric function)
- Category:Pages using Wikidata property P3373 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P3373 has quality metric function)
- Category:People from the Russian Empire has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:People from the Russian Empire has quality metric function)
- Category:Nelson-Atkins Museum of Art has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Nelson-Atkins Museum of Art has quality metric function)
- Q30463785 has quality binary relation ⇐ (metric function is subclass of binary relation), (Q30463785 has quality metric function)
- Q55283153 has quality binary relation ⇐ (metric function is subclass of binary relation), (Q55283153 has quality metric function)
- Category:Deaths in Santa Barbara, California has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Deaths in Santa Barbara, California has quality metric function)
- Category:Pages using Wikidata property P1411 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1411 has quality metric function)
- Category:Pages using Wikidata property P1552 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1552 has quality metric function)
- Category:Wikidata has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Wikidata has quality metric function)
- Category:Burials in the United States has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Burials in the United States has quality metric function)
- Category:Human voice has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Human voice has quality metric function)
- Category:Pages using Wikidata property P4733 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P4733 has quality metric function)
- Category:Deaths in Cambridge has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Deaths in Cambridge has quality metric function)
- Category:P361 same on Wikidata has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:P361 same on Wikidata has quality metric function)
- Category:Wikipedia administration has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Wikipedia administration has quality metric function)
- Category:Pages using Wikidata property P129 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P129 has quality metric function)
- Category:Pages using Wikidata property P1424 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1424 has quality metric function)
- Q9579050 has quality binary relation ⇐ (metric function is subclass of binary relation), (Q9579050 has quality metric function)
- Category:Deaths in the United States has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Deaths in the United States has quality metric function)
- Category:Pages using Wikidata property P361 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P361 has quality metric function)
- Category:Atheism has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Atheism has quality metric function)
- South African Reserve Bank has quality binary relation ⇐ (metric function is subclass of binary relation), (South African Reserve Bank has quality metric function)
- Category:Wikipedia categories named after politicians has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Wikipedia categories named after politicians has quality metric function)
- Category:Pages using Wikidata property P737 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P737 has quality metric function)
- Category:Pages using Wikidata property P910 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P910 has quality metric function)
- Category:United Kingdom has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:United Kingdom has quality metric function)
- Category:Russian pronunciation has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Russian pronunciation has quality metric function)
- Category:Pages using Wikidata property P1303 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1303 has quality metric function)
- Category:Pages using Wikidata property P155 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P155 has quality metric function)
- Category:Pages using Wikidata property P1535 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1535 has quality metric function)
- Category:Pages using Wikidata property P166 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P166 has quality metric function)
- Category:People educated at Brentwood School, Essex has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:People educated at Brentwood School, Essex has quality metric function)
- Category:Methodism has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Methodism has quality metric function)
- Category:Deaths in Washington, D.C. has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Deaths in Washington, D.C. has quality metric function)
- Category:Films with screenplays by Douglas Adams has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Films with screenplays by Douglas Adams has quality metric function)
- Category:Pages using Wikidata property P1001 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1001 has quality metric function)
- Category:African National Congress has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:African National Congress has quality metric function)
- Category:Pages using Wikidata property P31 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P31 has quality metric function)
- Category:United States Government Publishing Office has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:United States Government Publishing Office has quality metric function)
- Category:Hearing has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Hearing has quality metric function)
- Category:Boolean algebra has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Boolean algebra has quality metric function)
- Category:Pages using Wikidata property P1034 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1034 has quality metric function)
- Category:Washington, D.C. has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Washington, D.C. has quality metric function)
- Category:Wikipedia categories tracking data same as Wikidata has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Wikipedia categories tracking data same as Wikidata has quality metric function)
- spatial arrangement has quality binary relation ⇐ (metric function is subclass of binary relation), (spatial arrangement has quality metric function)
- Category:Malus has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Malus has quality metric function)
- Category:P301 equal to Wikidata has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:P301 equal to Wikidata has quality metric function)
- Category:Pages using Wikidata property P1382 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1382 has quality metric function)
- Category:Pages using Wikidata property P121 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P121 has quality metric function)
- Category:Pages using Wikidata property P1038 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1038 has quality metric function)
- Category:Novel adaptations of The Hitchhiker's Guide to the Galaxy has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Novel adaptations of The Hitchhiker's Guide to the Galaxy has quality metric function)
- Category:Logic has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Logic has quality metric function)
- Q101363679 has quality binary relation ⇐ (metric function is subclass of binary relation), (Q101363679 has quality metric function)
- Category:Ancient Egypt has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Ancient Egypt has quality metric function)
- Q42533380 has quality binary relation ⇐ (metric function is subclass of binary relation), (Q42533380 has quality metric function)
- Category:Pages using Wikidata property P1151 has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Pages using Wikidata property P1151 has quality metric function)
- Category:Douglas Adams has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:Douglas Adams has quality metric function)
- Bank of England has quality binary relation ⇐ (metric function is subclass of binary relation), (Bank of England has quality metric function)
- binary relation has quality class ⇐ (abstract entity is a class), (binary relation has quality abstract entity)
- binary relation is for example subclass ⇐ (subclass is a binary relation), (is a is inverse of is for example)
- metric function is subclass of binary relation ⇐ (metric function is subclass of function), (function is subclass of binary relation), (is subclass of is a transitive relation)
- binary relation is part of power set ⇐ (binary relation is part of Cartesian product), (Cartesian product is part of power set), (is part of is a transitive relation)
- binary relation is for example superset ⇐ (superset is a binary relation), (is a is inverse of is for example)
- superset has part binary relation ⇐ (subset is a binary relation), (superset has part subset)
- other has part binary relation ⇐ (other is subclass of relation), (relation has part binary relation)
- multivalued function has part binary relation ⇐ (multivalued function is subclass of relation), (relation has part binary relation)
- irreflexive relation has part binary relation ⇐ (irreflexive relation is subclass of relation), (relation has part binary relation)
- superset is a binary relation ⇐ (subset is a binary relation), (subset is opposite of superset)
- binary relation is for example subset ⇐ (subset is a binary relation), (is a is inverse of is for example)
- other is subclass of binary relation ⇐ (identity is subclass of binary relation), (identity is opposite of other)
- difference is subclass of binary relation ⇐ (identity is subclass of binary relation), (identity is opposite of difference)
- multivalued function is subclass of binary relation ⇐ (function is subclass of binary relation), (function is opposite of multivalued function)
- followed by is subclass of binary relation ⇐ (follows is subclass of binary relation), (follows is opposite of followed by)
- divisor is subclass of binary relation ⇐ (multiple is subclass of binary relation), (multiple is opposite of divisor)
- binary relation has quality abstract entity ⇐ (arity is a abstract entity), (binary relation has quality arity)
- binary relation has quality entity ⇐ (taxonomic rank is a entity), (binary relation has quality taxonomic rank)
- binary relation has quality mathematical object ⇐ (arity is a mathematical object), (binary relation has quality arity)
- ! has part binary relation ⇐ (! is subclass of mathematical property), (mathematical property has part binary relation)
- irreflexive relation is subclass of binary relation ⇐ (reflexive relation is subclass of binary relation), (reflexive relation is opposite of irreflexive relation)
- equality is subclass of binary relation ⇐ (inequality is subclass of binary relation), (inequality is opposite of equality)
- binary relation has quality existence ⇐ (binary relation is subclass of abstract entity), (abstract entity has quality existence)
- binary relation has quality superclass ⇐ (binary relation is subclass of abstract entity), (abstract entity has quality superclass)
- binary relation has quality taxonomic rank ⇐ (binary relation is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- binary relation is for example has part ⇐ (has part is a binary relation), (is a is inverse of is for example)
- type of relation is for example binary relation ⇐ (binary relation is a type of relation), (is a is inverse of is for example)
- type is for example binary relation ⇐ (binary relation is a type), (is a is inverse of is for example)
- content is subclass of binary relation ⇐ (content is subclass of set function), (set function is subclass of binary relation), (is subclass of is a transitive relation)
- symmetric relation is subclass of binary relation ⇐ (symmetric relation is subclass of endorelation), (endorelation is subclass of binary relation), (is subclass of is a transitive relation)
- binary relation is subclass of entity ⇐ (binary relation is subclass of mathematical object), (mathematical object is subclass of entity), (is subclass of is a transitive relation)
- binary relation is subclass of abstract entity ⇐ (binary relation is subclass of mathematical object), (mathematical object is subclass of abstract entity), (is subclass of is a transitive relation)
- set function is subclass of binary relation ⇐ (set function is subclass of function), (function is subclass of binary relation), (is subclass of is a transitive relation)
- follows is subclass of binary relation ⇐ (follows is subclass of transitive relation), (transitive relation is subclass of binary relation), (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)
- binary relation is subclass of set ⇐ (binary relation is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
- binary relation is subclass of mathematical object ⇐ (binary relation is subclass of relation), (relation is subclass of mathematical object), (is subclass of is a transitive relation)
- binary relation is subclass of class ⇐ (binary relation is subclass of relation), (relation is subclass of class), (is subclass of is a transitive relation)
- logical connective is subclass of binary relation ⇐ (logical connective is subclass of Boolean-valued function), (Boolean-valued function is subclass of binary relation), (is subclass of is a transitive relation)
- transitive relation is subclass of binary relation ⇐ (transitive relation is subclass of endorelation), (endorelation is subclass of binary relation), (is subclass of is a transitive relation)
- set operation is subclass of binary relation ⇐ (set operation is subclass of operation), (operation is subclass of binary relation), (is subclass of is a transitive relation)
- Boolean-valued function is subclass of binary relation ⇐ (Boolean-valued function is subclass of function), (function is subclass of binary relation), (is subclass of is a transitive relation)
- reflexive relation is subclass of binary relation ⇐ (reflexive relation is subclass of endorelation), (endorelation is subclass of binary relation), (is subclass of is a transitive relation)
- operation is subclass of binary relation ⇐ (operation is subclass of function), (function is subclass of binary relation), (is subclass of is a transitive relation)
- binary relation is a type ⇐ (type of relation is subclass of type), (binary relation is a type of relation)
- binary relation has quality number of entities ⇐ (arity is subclass of number of entities), (binary relation has quality arity)
- mathematical property has part binary relation ⇐ (mathematical property is subclass of relation), (relation has part binary relation)