Deductions
- child has quality cardinality ⇐ (child has quality truth value), (truth value has quality cardinality), (has quality is a transitive relation)
- child has quality superclass ⇐ (child has quality property constraint), (property constraint has quality superclass), (has quality is a transitive relation)
- child has quality class ⇐ (child has quality property constraint), (property constraint has quality class), (has quality is a transitive relation)
- child has quality class ⇐ (quality is a class), (child has quality quality)
- child has quality expression ⇐ (child has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- child has quality number of entities ⇐ (child has quality property constraint), (property constraint has quality number of entities), (has quality is a transitive relation)
- child has quality superclass ⇐ (child has quality property constraint), (property constraint has quality superclass), (has quality is a transitive relation)
- child has quality type ⇐ (child has quality property constraint), (property constraint has quality type), (has quality is a transitive relation)
- child has quality criterion ⇐ (child has quality property constraint), (property constraint has quality criterion), (has quality is a transitive relation)
- child has quality set ⇐ (child has quality property constraint), (property constraint has quality set), (has quality is a transitive relation)
- child has quality entity ⇐ (child has quality property constraint), (property constraint has quality entity), (has quality is a transitive relation)
- child has quality arity ⇐ (child has quality property constraint), (property constraint has quality arity), (has quality is a transitive relation)
- child has quality abstract entity ⇐ (child has quality property constraint), (property constraint has quality abstract entity), (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)
- child has quality computer science term ⇐ (child has quality property constraint), (property constraint has quality computer science term), (has quality is a transitive relation)
- child has quality property ⇐ (child has quality property constraint), (property constraint has quality property), (has quality is a transitive relation)
- child has quality value ⇐ (child has quality property constraint), (property constraint has quality value), (has quality is a transitive relation)
- child has quality relation ⇐ (child has quality property constraint), (property constraint has quality relation), (has quality is a transitive relation)
- child has quality mathematical property ⇐ (child has quality property constraint), (property constraint has quality mathematical property), (has quality is a transitive relation)
- child has quality taxonomic rank ⇐ (child has quality property constraint), (property constraint has quality taxonomic rank), (has quality is a transitive relation)
- child has quality existence ⇐ (child has quality property constraint), (property constraint has quality existence), (has quality is a transitive relation)
- child has quality mathematical object ⇐ (child has quality property constraint), (property constraint has quality mathematical object), (has quality is a transitive relation)
- child has quality quality ⇐ (child has quality property constraint), (property constraint has quality quality), (has quality is a transitive relation)
- child has quality class ⇐ (child has quality property constraint), (property constraint has quality class), (has quality is a transitive relation)
- child has quality type of property ⇐ (child has quality property constraint), (property constraint has quality type of property), (has quality is a transitive relation)
- child is subclass of parent ⇐ (mother is subclass of parent), (mother is opposite of child)
- child has quality value-requires-statement constraint ⇐ (child is a Wikibase property), (Wikibase property has quality value-requires-statement constraint)
- child has quality property constraint ⇐ (child is a Wikibase property), (Wikibase property has quality property constraint)
- information resource is for example child ⇐ (child is a information resource), (is a is inverse of is for example)
- child is a information resource ⇐ (Wikidata property for items about people is subclass of information resource), (child is a Wikidata property for items about people)
- Wikibase property is for example child ⇐ (child is a Wikibase property), (is a is inverse of is for example)
- kinship is for example child ⇐ (child is a kinship), (is a is inverse of is for example)
- -> is for example child ⇐ (child is a ->), (is a is inverse of is for example)
- Wikidata property for human relationships is for example child ⇐ (child is a Wikidata property for human relationships), (is a is inverse of is for example)
- interpersonal relationship is for example child ⇐ (child is a interpersonal relationship), (is a is inverse of is for example)
- Wikidata property for items about people is for example child ⇐ (child is a Wikidata property for items about people), (is a is inverse of is for example)
- child is opposite of mother ⇐ mother is opposite of child
- child is subclass of organism ⇐ (child is subclass of individual), (individual is subclass of organism), (is subclass of is a transitive relation)
- child is subclass of physical anatomical entity ⇐ (child is subclass of individual), (individual is subclass of physical anatomical entity), (is subclass of is a transitive relation)
- child is subclass of person ⇐ (child is subclass of relative), (relative is subclass of person), (is subclass of is a transitive relation)
- child is subclass of individual ⇐ (child is subclass of relative), (relative is subclass of individual), (is subclass of is a transitive relation)
- child is subclass of close relative ⇐ (child is subclass of first-degree relative), (first-degree relative is subclass of close relative), (is subclass of is a transitive relation)
- child is subclass of relative ⇐ (child is subclass of first-degree relative), (first-degree relative is subclass of relative), (is subclass of is a transitive relation)
- child is a Wikibase property ⇐ (-> is subclass of Wikibase property), (child is a ->)
- child is a interpersonal relationship ⇐ (kinship is subclass of interpersonal relationship), (child is a kinship)
- child is a Wikidata property for items about people ⇐ (Wikidata property for human relationships is subclass of Wikidata property for items about people), (child is a Wikidata property for human relationships)