Deductions
- whole has quality class ⇐ (quality is a class), (whole has quality quality)
- whole is subclass of entity ⇐ (part is subclass of entity), (part is opposite of whole)
- whole has quality entity ⇐ (taxonomic rank is a entity), (whole has quality taxonomic rank)
- whole has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (whole has quality metaclass)
- whole has quality number of entities ⇐ (whole is subclass of content), (content has quality number of entities)
- whole has quality mathematical property ⇐ (whole is subclass of content), (content has quality mathematical property)
- whole has quality left-totality ⇐ (whole is subclass of content), (content has quality left-totality)
- whole has quality relation ⇐ (whole is subclass of content), (content has quality relation)
- whole has quality arity ⇐ (whole is subclass of content), (content has quality arity)
- MediaWiki page is for example whole ⇐ (whole is a MediaWiki page), (is a is inverse of is for example)
- Wikimedia page is for example whole ⇐ (whole is a Wikimedia page), (is a is inverse of is for example)
- whole is a MediaWiki page ⇐ (Wikibase reason for preferred rank is subclass of MediaWiki page), (whole is a Wikibase reason for preferred rank)
- whole is a Wikimedia page ⇐ (Wikibase reason for preferred rank is subclass of Wikimedia page), (whole is a Wikibase reason for preferred rank)
- whole has quality type ⇐ (criterion is a type), (whole has quality criterion)
- whole has quality class ⇐ (type of property is a class), (whole has quality type of property)
- whole has quality philosophical concept ⇐ (phenomenon is a philosophical concept), (whole has quality phenomenon)
- Wikibase reason for preferred rank is for example whole ⇐ (whole is a Wikibase reason for preferred rank), (is a is inverse of is for example)
- Wikidata internal entity is for example whole ⇐ (whole is a Wikidata internal entity), (is a is inverse of is for example)
- Wikimedia internal item is for example whole ⇐ (whole is a Wikimedia internal item), (is a is inverse of is for example)
- whole has quality quality ⇐ (whole has quality metaclass), (metaclass has quality quality), (has quality is a transitive relation)
- whole has quality type of property ⇐ (whole has quality metaclass), (metaclass has quality type of property), (has quality is a transitive relation)
- whole has quality criterion ⇐ (whole has quality metaclass), (metaclass has quality criterion), (has quality is a transitive relation)
- whole has quality extension of a concept ⇐ (whole has quality concept), (concept has quality extension of a concept), (has quality is a transitive relation)
- whole has quality set ⇐ (whole has quality concept), (concept has quality set), (has quality is a transitive relation)
- whole has quality superclass ⇐ (whole has quality concept), (concept has quality superclass), (has quality is a transitive relation)
- whole has quality class ⇐ (whole has quality concept), (concept has quality class), (has quality is a transitive relation)
- whole has quality mathematical object ⇐ (whole has quality concept), (concept has quality mathematical object), (has quality is a transitive relation)
- whole has quality taxonomic rank ⇐ (whole has quality concept), (concept has quality taxonomic rank), (has quality is a transitive relation)
- whole is subclass of set function ⇐ (whole is subclass of content), (content is subclass of set function), (is subclass of is a transitive relation)
- whole is subclass of content ⇐ (whole is subclass of measure), (measure is subclass of content), (is subclass of is a transitive relation)
- whole is a Wikimedia internal item ⇐ (Wikidata internal entity is subclass of Wikimedia internal item), (whole is a Wikidata internal entity)
- whole is a Wikidata internal entity ⇐ (Wikibase reason for preferred rank is subclass of Wikidata internal entity), (whole is a Wikibase reason for preferred rank)
- whole has quality concept ⇐ (state is a concept), (whole has quality state)
- whole has quality metaclass ⇐ (BFO class is a metaclass), (whole has quality BFO class)
- whole has quality BFO class ⇐ (occurrent is a BFO class), (whole has quality occurrent)
- whole has quality property ⇐ (sigma additivity is a property), (whole has quality sigma additivity)
- whole has quality occurrent ⇐ (phenomenon is subclass of occurrent), (whole has quality phenomenon)
- whole has quality phenomenon ⇐ (state is subclass of phenomenon), (whole has quality state)
- whole has quality sigma subadditivity ⇐ (sigma additivity is subclass of sigma subadditivity), (whole has quality sigma additivity)
- whole has quality state ⇐ (completeness is subclass of state), (whole has quality completeness)
- whole has quality sigma additivity ⇐ (whole is subclass of measure), (measure has quality sigma additivity)