statement describes

Deductions

• statement describes has quality criterion ⇐ (statement describes has quality property constraint), (property constraint has quality criterion), (has quality is a transitive relation)
• statement describes has quality property ⇐ (statement describes has quality property constraint), (property constraint has quality property), (has quality is a transitive relation)
• statement describes has quality quality ⇐ (statement describes has quality property constraint), (property constraint has quality quality), (has quality is a transitive relation)
• statement describes has quality type of property ⇐ (statement describes has quality property constraint), (property constraint has quality type of property), (has quality is a transitive relation)
• statement describes has quality class ⇐ (statement describes is a ->), (-> has quality class)
• statement describes has quality superclass ⇐ (statement describes is a ->), (-> has quality superclass)
• statement describes has quality cardinality ⇐ (statement describes has quality truth value), (truth value has quality cardinality), (has quality is a transitive relation)
• Wikidata property related to mathematics is for example statement describes ⇐ (statement describes is a Wikidata property related to mathematics), (is a is inverse of is for example)
• statement describes has quality value ⇐ (statement describes has quality property constraint), (property constraint has quality value), (has quality is a transitive relation)
• statement describes has quality mathematical object ⇐ (statement describes has quality property constraint), (property constraint has quality mathematical object), (has quality is a transitive relation)
• statement describes has quality mathematical property ⇐ (statement describes has quality property constraint), (property constraint has quality mathematical property), (has quality is a transitive relation)
• statement describes has quality relation ⇐ (statement describes has quality property constraint), (property constraint has quality relation), (has quality is a transitive relation)
• statement describes has quality computer science term ⇐ (statement describes has quality property constraint), (property constraint has quality computer science term), (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)
• statement describes has quality arity ⇐ (statement describes has quality property constraint), (property constraint has quality arity), (has quality is a transitive relation)
• statement describes has quality set ⇐ (statement describes has quality property constraint), (property constraint has quality set), (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)
• statement describes has quality number of entities ⇐ (statement describes has quality property constraint), (property constraint has quality number of entities), (has quality is a transitive relation)
• statement describes has quality property ⇐ (statement describes has quality type), (type has quality property), (has quality is a transitive relation)
• statement describes has quality criterion ⇐ (statement describes has quality type), (type has quality criterion), (has quality is a transitive relation)
• statement describes has quality type of property ⇐ (statement describes has quality type), (type has quality type of property), (has quality is a transitive relation)
• statement describes has quality quality ⇐ (statement describes has quality type), (type has quality quality), (has quality is a transitive relation)
• statement describes has quality superclass ⇐ (statement describes is a ->), (-> has quality superclass)
• statement describes has quality abstract entity ⇐ (statement describes is a ->), (-> has quality abstract entity)
• statement describes has quality taxonomic rank ⇐ (statement describes is a ->), (-> has quality taxonomic rank)
• statement describes has quality existence ⇐ (statement describes is a ->), (-> has quality existence)
• statement describes has quality entity ⇐ (statement describes is a ->), (-> has quality entity)
• statement describes has quality type ⇐ (statement describes is a ->), (-> has quality type)
• statement describes has quality value-requires-statement constraint ⇐ (statement describes is a ->), (-> has quality value-requires-statement constraint)
• statement describes has quality type of object ⇐ (statement describes is a ->), (-> has quality type of object)
• statement describes has quality property constraint ⇐ (statement describes is a ->), (-> has quality property constraint)
• statement describes has quality type of Wikidata property ⇐ (statement describes is a ->), (-> has quality type of Wikidata property)
• statement describes has quality class ⇐ (statement describes is a ->), (-> has quality class)
• -> is for example statement describes ⇐ (statement describes is a ->), (is a is inverse of is for example)