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