Deductions
- shape has quality type ⇐ (shape has quality class), (class has quality type), (has quality is a transitive relation)
- shape has quality type of property ⇐ (shape has quality class), (class has quality type of property), (has quality is a transitive relation)
- shape has quality criterion ⇐ (shape has quality class), (class has quality criterion), (has quality is a transitive relation)
- shape has quality quality ⇐ (shape has quality class), (class has quality quality), (has quality is a transitive relation)
- shape has quality property ⇐ (shape has quality class), (class has quality property), (has quality is a transitive relation)
- shape has quality superclass ⇐ (shape has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- shape has quality class ⇐ (set is a class), (shape has quality set)
- shape has quality class ⇐ (quality is a class), (shape has quality quality)
- shape has quality type ⇐ (shape has quality class), (class has quality type), (has quality is a transitive relation)
- shape has quality type of property ⇐ (shape has quality class), (class has quality type of property), (has quality is a transitive relation)
- shape has quality criterion ⇐ (shape has quality class), (class has quality criterion), (has quality is a transitive relation)
- shape has quality quality ⇐ (shape has quality class), (class has quality quality), (has quality is a transitive relation)
- shape has quality property ⇐ (shape has quality class), (class has quality property), (has quality is a transitive relation)
- shape has quality expression ⇐ (shape has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- shape has quality number of entities ⇐ (shape has quality property constraint), (property constraint has quality number of entities), (has quality is a transitive relation)
- shape has quality set ⇐ (shape has quality property constraint), (property constraint has quality set), (has quality is a transitive relation)
- shape has quality arity ⇐ (shape has quality property constraint), (property constraint has quality arity), (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)
- shape has quality computer science term ⇐ (shape has quality property constraint), (property constraint has quality computer science term), (has quality is a transitive relation)
- shape has quality value ⇐ (shape has quality property constraint), (property constraint has quality value), (has quality is a transitive relation)
- shape has quality relation ⇐ (shape has quality property constraint), (property constraint has quality relation), (has quality is a transitive relation)
- shape has quality mathematical property ⇐ (shape has quality property constraint), (property constraint has quality mathematical property), (has quality is a transitive relation)
- shape has quality mathematical object ⇐ (shape has quality property constraint), (property constraint has quality mathematical object), (has quality is a transitive relation)
- shape has quality type of property ⇐ (shape has quality property constraint), (property constraint has quality type of property), (has quality is a transitive relation)
- shape has quality superclass ⇐ (shape has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- shape has quality taxonomic rank ⇐ (shape has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- shape has quality class ⇐ (set is a class), (shape has quality set)
- shape has quality abstract entity ⇐ (set is a abstract entity), (shape has quality set)
- shape has quality abstract entity ⇐ (type is a abstract entity), (shape has quality type)
- shape has quality property constraint ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality property constraint)
- shape has quality type ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality type)
- shape has quality type of Wikidata property ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality type of Wikidata property)
- shape has quality value-requires-statement constraint ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality value-requires-statement constraint)
- shape has quality criterion ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality criterion)
- shape has quality class ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality class)
- shape has quality existence ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality existence)
- shape has quality property ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality property)
- shape has quality quality ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality quality)
- shape has quality entity ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality entity)
- shape has quality type of object ⇐ (shape is a Wikidata property for perceptual properties), (Wikidata property for perceptual properties has quality type of object)
- shape has quality existence ⇐ (shape has quality entity), (entity has quality existence), (has quality is a transitive relation)
- shape has quality entity ⇐ (taxonomic rank is a entity), (shape has quality taxonomic rank)
- Wikidata property for perceptual properties is for example shape ⇐ (shape is a Wikidata property for perceptual properties), (is a is inverse of is for example)
- Wikibase property is for example shape ⇐ (shape is a Wikibase property), (is a is inverse of is for example)
- -> is for example shape ⇐ (shape is a ->), (is a is inverse of is for example)
- mathematical concept is for example shape ⇐ (shape is a mathematical concept), (is a is inverse of is for example)
- shape has quality mathematical object ⇐ (shape is a mathematical concept), (mathematical concept has quality mathematical object)
- shape has quality class ⇐ (shape is a mathematical concept), (mathematical concept has quality class)
- shape has quality extension of a concept ⇐ (shape is a mathematical concept), (mathematical concept has quality extension of a concept)
- shape has quality set ⇐ (shape is a mathematical concept), (mathematical concept has quality set)
- shape has quality superclass ⇐ (shape is a mathematical concept), (mathematical concept has quality superclass)
- shape has quality taxonomic rank ⇐ (shape is a mathematical concept), (mathematical concept has quality taxonomic rank)
- implication arrow is subclass of shape ⇐ (implication arrow is subclass of arrow), (arrow is subclass of shape), (is subclass of is a transitive relation)