Deductions
- has facet polytope has quality type of property ⇐ (has facet polytope has quality class), (class has quality type of property), (has quality is a transitive relation)
- has facet polytope has quality criterion ⇐ (has facet polytope has quality class), (class has quality criterion), (has quality is a transitive relation)
- has facet polytope has quality quality ⇐ (has facet polytope has quality class), (class has quality quality), (has quality is a transitive relation)
- has facet polytope has quality property ⇐ (has facet polytope has quality class), (class has quality property), (has quality is a transitive relation)
- has facet polytope has quality property constraint ⇐ (has facet polytope is a ->), (-> has quality property constraint)
- has facet polytope has quality class ⇐ (has facet polytope is a ->), (-> has quality class)
- has facet polytope has quality type of Wikidata property ⇐ (has facet polytope is a ->), (-> has quality type of Wikidata property)
- has facet polytope has quality type of object ⇐ (has facet polytope is a ->), (-> has quality type of object)
- has facet polytope has quality value-requires-statement constraint ⇐ (has facet polytope is a ->), (-> has quality value-requires-statement constraint)
- has facet polytope has quality type ⇐ (has facet polytope is a ->), (-> has quality type)
- has facet polytope has quality entity ⇐ (has facet polytope is a ->), (-> has quality entity)
- has facet polytope has quality existence ⇐ (has facet polytope is a ->), (-> has quality existence)
- has facet polytope has quality taxonomic rank ⇐ (has facet polytope is a ->), (-> has quality taxonomic rank)
- has facet polytope has quality abstract entity ⇐ (has facet polytope is a ->), (-> has quality abstract entity)
- has facet polytope has quality superclass ⇐ (has facet polytope is a ->), (-> has quality superclass)
- Wikidata property related to mathematics is for example has facet polytope ⇐ (has facet polytope is a Wikidata property related to mathematics), (is a is inverse of is for example)
- -> is for example has facet polytope ⇐ (has facet polytope is a ->), (is a is inverse of is for example)