Deductions
- complex constraint value label has quality type ⇐ (complex constraint value label has quality class), (class has quality type), (has quality is a transitive relation)
- complex constraint value label has quality type of property ⇐ (complex constraint value label has quality class), (class has quality type of property), (has quality is a transitive relation)
- complex constraint value label has quality criterion ⇐ (complex constraint value label has quality class), (class has quality criterion), (has quality is a transitive relation)
- complex constraint value label has quality quality ⇐ (complex constraint value label has quality class), (class has quality quality), (has quality is a transitive relation)
- complex constraint value label has quality property ⇐ (complex constraint value label has quality class), (class has quality property), (has quality is a transitive relation)
- complex constraint value label has quality class ⇐ (set is a class), (complex constraint value label has quality set)
- complex constraint value label has quality class ⇐ (quality is a class), (complex constraint value label has quality quality)
- complex constraint value label has quality type ⇐ (complex constraint value label has quality class), (class has quality type), (has quality is a transitive relation)
- complex constraint value label has quality type of property ⇐ (complex constraint value label has quality class), (class has quality type of property), (has quality is a transitive relation)
- complex constraint value label has quality criterion ⇐ (complex constraint value label has quality class), (class has quality criterion), (has quality is a transitive relation)
- complex constraint value label has quality quality ⇐ (complex constraint value label has quality class), (class has quality quality), (has quality is a transitive relation)
- complex constraint value label has quality property ⇐ (complex constraint value label has quality class), (class has quality property), (has quality is a transitive relation)
- complex constraint value label has quality class ⇐ (set is a class), (complex constraint value label has quality set)
- complex constraint value label has quality entity ⇐ (taxonomic rank is a entity), (complex constraint value label has quality taxonomic rank)
- complex constraint value label has quality mathematical object ⇐ (arity is a mathematical object), (complex constraint value label has quality arity)
- complex constraint value label has quality expression ⇐ (truth value is subclass of expression), (complex constraint value label has quality truth value)
- complex constraint value label has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (complex constraint value label has quality metaclass)
- complex constraint value label has quality computer science term ⇐ (value is a computer science term), (complex constraint value label has quality value)
- complex constraint value label has quality metaclass ⇐ (type of definition is a metaclass), (complex constraint value label has quality type of definition)
- complex constraint value label has quality type of definition ⇐ (complex constraint value label is subclass of definition), (definition has quality type of definition)
- complex constraint value label has quality arity ⇐ (complex constraint value label is subclass of proposition), (proposition has quality arity)
- complex constraint value label has quality set ⇐ (complex constraint value label is subclass of proposition), (proposition has quality set)
- complex constraint value label has quality mathematical property ⇐ (complex constraint value label is subclass of proposition), (proposition has quality mathematical property)
- complex constraint value label has quality number of entities ⇐ (complex constraint value label is subclass of proposition), (proposition has quality number of entities)
- complex constraint value label has quality truth value ⇐ (complex constraint value label is subclass of proposition), (proposition has quality truth value)
- complex constraint value label has quality relation ⇐ (complex constraint value label is subclass of proposition), (proposition has quality relation)
- complex constraint value label has quality value ⇐ (complex constraint value label is subclass of proposition), (proposition has quality value)
- complex constraint value label has quality existence ⇐ (complex constraint value label is subclass of abstract entity), (abstract entity has quality existence)
- complex constraint value label has quality superclass ⇐ (complex constraint value label is subclass of abstract entity), (abstract entity has quality superclass)
- complex constraint value label has quality taxonomic rank ⇐ (complex constraint value label is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- complex constraint value label is subclass of definition ⇐ (complex constraint value label is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
- complex constraint value label is subclass of Wikidata property definition ⇐ (complex constraint value label is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- complex constraint value label is subclass of abstract entity ⇐ (complex constraint value label is subclass of property constraint), (property constraint is subclass of abstract entity), (is subclass of is a transitive relation)
- complex constraint value label is subclass of entity ⇐ (complex constraint value label is subclass of property constraint), (property constraint is subclass of entity), (is subclass of is a transitive relation)
- complex constraint value label is subclass of mathematical object ⇐ (complex constraint value label is subclass of property constraint), (property constraint is subclass of mathematical object), (is subclass of is a transitive relation)
- complex constraint value label is subclass of proposition ⇐ (complex constraint value label is subclass of property constraint), (property constraint is subclass of proposition), (is subclass of is a transitive relation)
- complex constraint value label is subclass of property constraint ⇐ (complex constraint value label is subclass of complex constraint), (complex constraint is subclass of property constraint), (is subclass of is a transitive relation)