Deductions
- union of has quality value ⇐ (union of has quality theorem), (theorem has quality value), (has quality is a transitive relation)
- union of has quality set ⇐ (union of has quality theorem), (theorem has quality set), (has quality is a transitive relation)
- union of has quality computer science term ⇐ (union of has quality theorem), (theorem has quality computer science term), (has quality is a transitive relation)
- union of has quality mathematical property ⇐ (union of has quality theorem), (theorem has quality mathematical property), (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)
- union of has quality number of entities ⇐ (union of has quality theorem), (theorem has quality number of entities), (has quality is a transitive relation)
- union of has quality mathematical object ⇐ (union of has quality theorem), (theorem has quality mathematical object), (has quality is a transitive relation)
- union of has quality relation ⇐ (union of has quality theorem), (theorem has quality relation), (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)
- union of has quality arity ⇐ (union of has quality theorem), (theorem has quality arity), (has quality is a transitive relation)
- union of has quality cardinality ⇐ (union of has quality theorem), (theorem has quality cardinality), (has quality is a transitive relation)
- union of has quality proposition ⇐ (theorem is subclass of proposition), (union of has quality theorem)
- union of has quality theorem ⇐ (central limit theorem is a theorem), (union of has quality central limit theorem)
- union of has quality central limit theorem ⇐ (union of has quality probability), (probability has quality central limit theorem), (has quality is a transitive relation)
- union of has quality abstract entity ⇐ (type is a abstract entity), (union of has quality type)
- Wikibase entity is for example union of ⇐ (union of is a Wikibase entity), (is a is inverse of is for example)
- union of has quality source type ⇐ (union of is a Wikibase entity), (Wikibase entity has quality source type)
- union of has quality credibility ⇐ (union of is a Wikibase entity), (Wikibase entity has quality credibility)
- union of has quality type of object ⇐ (union of is a Wikibase entity), (Wikibase entity has quality type of object)
- union of has quality superclass ⇐ (union of is a Wikibase entity), (Wikibase entity has quality superclass)
- union of has quality criterion ⇐ (union of is a Wikibase entity), (Wikibase entity has quality criterion)
- union of has quality type ⇐ (union of is a Wikibase entity), (Wikibase entity has quality type)
- union of has quality probability ⇐ (union of is a Wikibase entity), (Wikibase entity has quality probability)
- union of has quality taxonomic rank ⇐ (union of is a Wikibase entity), (Wikibase entity has quality taxonomic rank)
- union of has quality property ⇐ (union of is a Wikibase entity), (Wikibase entity has quality property)
- union of has quality existence ⇐ (union of is a Wikibase entity), (Wikibase entity has quality existence)
- union of has quality quality ⇐ (union of is a Wikibase entity), (Wikibase entity has quality quality)
- union of has quality type of property ⇐ (union of is a Wikibase entity), (Wikibase entity has quality type of property)
- union of has quality class ⇐ (union of is a Wikibase entity), (Wikibase entity has quality class)
- union of has quality entity ⇐ (union of is a Wikibase entity), (Wikibase entity has quality entity)
- union of is a Wikibase entity ⇐ (Wikidata property for the relationship between classes is subclass of Wikibase entity), (union of is a Wikidata property for the relationship between classes)
- immediate agent is for example union of ⇐ (union of is a immediate agent), (is a is inverse of is for example)
- union of is a immediate agent ⇐ (source is subclass of immediate agent), (union of is a source)
- source of information is for example union of ⇐ (union of is a source of information), (is a is inverse of is for example)
- source is for example union of ⇐ (union of is a source), (is a is inverse of is for example)
- union of is a source ⇐ (Wikidata property for the relationship between classes is subclass of source), (union of is a Wikidata property for the relationship between classes)
- union of is a source of information ⇐ (Wikidata property for the relationship between classes is subclass of source of information), (union of is a Wikidata property for the relationship between classes)
- Wikibase property is for example union of ⇐ (union of is a Wikibase property), (is a is inverse of is for example)
- Wikidata property for the relationship between classes is for example union of ⇐ (union of is a Wikidata property for the relationship between classes), (is a is inverse of is for example)
- -> is for example union of ⇐ (union of is a ->), (is a is inverse of is for example)
- union of is a Wikibase property ⇐ (-> is subclass of Wikibase property), (union of is a ->)