Deductions
- physics has quality expression ⇐ (physics has quality theorem), (theorem has quality expression), (has quality is a transitive relation)
- biochemistry has quality expression ⇐ (biochemistry has quality proposition), (proposition has quality expression), (has quality is a transitive relation)
- physical sciences has quality expression ⇐ (physical sciences has quality proposition), (proposition has quality expression), (has quality is a transitive relation)
- Wikidata property change frequency has quality expression ⇐ (Wikidata property change frequency has quality central limit theorem), (central limit theorem has quality expression), (has quality is a transitive relation)
- union of has quality expression ⇐ (union of has quality theorem), (theorem has quality expression), (has quality is a transitive relation)
- business model has quality expression ⇐ (business model has quality theorem), (theorem has quality expression), (has quality is a transitive relation)
- central limit theorem has quality expression ⇐ (central limit theorem is a theorem), (theorem has quality expression)
- theorem has quality expression ⇐ (theorem is subclass of proposition), (proposition has quality expression)
- taxon synonym of has quality expression ⇐ (taxon synonym of has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- district heating grid has quality expression ⇐ (district heating grid has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- sexual orientation has quality expression ⇐ (sexual orientation has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- active ingredient in has quality expression ⇐ (active ingredient in has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- contains has quality expression ⇐ (contains has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- statement describes has quality expression ⇐ (statement describes has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- successful candidate has quality expression ⇐ (successful candidate has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- category of associated people has quality expression ⇐ (category of associated people has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- pregnancy category has quality expression ⇐ (pregnancy category has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- executive body has quality expression ⇐ (executive body has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- name day has quality expression ⇐ (name day has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- enclave within has quality expression ⇐ (enclave within has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- narrative location has quality expression ⇐ (narrative location has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- day in year for periodic occurrence has quality expression ⇐ (day in year for periodic occurrence has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- MediaWiki hooks used has quality expression ⇐ (MediaWiki hooks used has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- ancestral home has quality expression ⇐ (ancestral home has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- category for the water basin has quality expression ⇐ (category for the water basin has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- taxon known by this common name has quality expression ⇐ (taxon known by this common name has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- patronym or matronym for this name has quality expression ⇐ (patronym or matronym for this name has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- taxon synonym has quality expression ⇐ (taxon synonym has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- does not have part has quality expression ⇐ (does not have part has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- located on street has quality expression ⇐ (located on street has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- incarnation of has quality expression ⇐ (incarnation of has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- category for people born here has quality expression ⇐ (category for people born here has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- subdivision of this unit has quality expression ⇐ (subdivision of this unit has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- topic's main template has quality expression ⇐ (topic's main template has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- Wikidata item of this property has quality expression ⇐ (Wikidata item of this property has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- award received has quality expression ⇐ (award received has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- produced sound has quality expression ⇐ (produced sound has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- is inverse of has quality expression ⇐ (is inverse of has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- property constraint has quality expression ⇐ (property constraint has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- child has quality expression ⇐ (child has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- shape has quality expression ⇐ (shape has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- currency has quality expression ⇐ (currency has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- military or police rank has quality expression ⇐ (military or police rank has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- category for alumni of educational institution has quality expression ⇐ (category for alumni of educational institution has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- open data portal has quality expression ⇐ (open data portal has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- deprecated in version has quality expression ⇐ (deprecated in version has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- peak bagging classification has quality expression ⇐ (peak bagging classification has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- member category has quality expression ⇐ (member category has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- parent organization has quality expression ⇐ (parent organization has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- made from material has quality expression ⇐ (made from material has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- offers view on has quality expression ⇐ (offers view on has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- foods traditionally associated has quality expression ⇐ (foods traditionally associated has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- script directionality has quality expression ⇐ (script directionality has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- cites work has quality expression ⇐ (cites work has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- source of income has quality expression ⇐ (source of income has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- external auditor has quality expression ⇐ (external auditor has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- movement has quality expression ⇐ (movement has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- next lower rank has quality expression ⇐ (next lower rank has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- plot expanded in has quality expression ⇐ (plot expanded in has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- programming paradigm has quality expression ⇐ (programming paradigm has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- official observer status in organisation has quality expression ⇐ (official observer status in organisation has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- activity policy in this place has quality expression ⇐ (activity policy in this place has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- removed feature has quality expression ⇐ (removed feature has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- fictional universe described in has quality expression ⇐ (fictional universe described in has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- category for value same as Wikidata has quality expression ⇐ (category for value same as Wikidata has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- strand orientation has quality expression ⇐ (strand orientation has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- production company has quality expression ⇐ (production company has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- topic's main thesaurus has quality expression ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- inflows has quality expression ⇐ (inflows has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- mountain range has quality expression ⇐ (mountain range has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- composer has quality expression ⇐ (composer has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- candidate has quality expression ⇐ (candidate has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- school district has quality expression ⇐ (school district has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- artist files at has quality expression ⇐ (artist files at has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- narrative role has quality expression ⇐ (narrative role has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- fictional or mythical analog of has quality expression ⇐ (fictional or mythical analog of has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- madhhab has quality expression ⇐ (madhhab has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- associated hazard has quality expression ⇐ (associated hazard has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- key is subclass of expression ⇐ (value is subclass of expression), (value is opposite of key)
- consequent has quality expression ⇐ (truth value is subclass of expression), (consequent has quality truth value)
- => has quality expression ⇐ (truth value is subclass of expression), (=> has quality truth value)
- tautology has quality expression ⇐ (truth value is subclass of expression), (tautology has quality truth value)
- item-requires-statement constraint has quality expression ⇐ (truth value is subclass of expression), (item-requires-statement constraint has quality truth value)
- multi-value constraint has quality expression ⇐ (truth value is subclass of expression), (multi-value constraint has quality truth value)
- property constraint has quality expression ⇐ (truth value is subclass of expression), (property constraint has quality truth value)
- conflicts-with constraint has quality expression ⇐ (truth value is subclass of expression), (conflicts-with constraint has quality truth value)
- is a has quality expression ⇐ (truth value is subclass of expression), (is a has quality truth value)
- complex constraint value label has quality expression ⇐ (truth value is subclass of expression), (complex constraint value label has quality truth value)
- antecedent has quality expression ⇐ (truth value is subclass of expression), (antecedent has quality truth value)
- logical consequence has quality expression ⇐ (truth value is subclass of expression), (logical consequence has quality truth value)
- proposition has quality expression ⇐ (truth value is subclass of expression), (proposition has quality truth value)
- logical variable has quality expression ⇐ (truth value is subclass of expression), (logical variable has quality truth value)
- consequence has quality expression ⇐ (truth value is subclass of expression), (consequence has quality truth value)
- conclusion has quality expression ⇐ (truth value is subclass of expression), (conclusion has quality truth value)
- truth value is subclass of expression ⇐ (truth value is subclass of value), (value is subclass of expression), (is subclass of is a transitive relation)