definition

Deductions

• definition has quality class ⇐ (abstract entity is a class), (definition has quality abstract entity)
• multi-value constraint is subclass of definition ⇐ (single-value constraint is subclass of definition), (single-value constraint is opposite of multi-value constraint)
• item-requires-statement constraint is subclass of definition ⇐ (conflicts-with constraint is subclass of definition), (conflicts-with constraint is opposite of item-requires-statement constraint)
• definition has quality existence ⇐ (definition has quality entity), (entity has quality existence), (has quality is a transitive relation)
• definition has quality entity ⇐ (type of definition is a entity), (definition has quality type of definition)
• definition has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (definition has quality metaclass)
• definition has quality metaclass ⇐ (type of definition is a metaclass), (definition has quality type of definition)
• is a is subclass of definition ⇐ (is for example is subclass of definition), (is for example is inverse of is a)
• none-of constraint is subclass of definition ⇐ (one-of constraint is subclass of definition), (one-of constraint is opposite of none-of constraint)
• 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)
• contemporary constraint is subclass of definition ⇐ (contemporary constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• value-type constraint is subclass of definition ⇐ (value-type constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• allowed-entity-types constraint is subclass of definition ⇐ (allowed-entity-types constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• format constraint is subclass of definition ⇐ (format constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• allowed qualifiers constraint is subclass of definition ⇐ (allowed qualifiers constraint is subclass of Wikidata property definition), (Wikidata property definition is subclass of definition), (is subclass of is a transitive relation)
• definition is subclass of entity ⇐ (definition is subclass of proposition), (proposition is subclass of entity), (is subclass of is a transitive relation)
• definition is subclass of abstract entity ⇐ (definition is subclass of proposition), (proposition is subclass of abstract entity), (is subclass of is a transitive relation)
• definition is subclass of mathematical object ⇐ (definition is subclass of proposition), (proposition is subclass of mathematical object), (is subclass of is a transitive relation)
• symmetric constraint is subclass of definition ⇐ (symmetric constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• inverse constraint is subclass of definition ⇐ (inverse constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• is for example is subclass of definition ⇐ (is for example is subclass of relation of type constraint), (relation of type constraint is subclass of definition), (is subclass of is a transitive relation)
• instance of is subclass of definition ⇐ (instance of is subclass of relation of type constraint), (relation of type constraint is subclass of definition), (is subclass of is a transitive relation)
• relation of type constraint is subclass of definition ⇐ (relation of type constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• single-best-value constraint is subclass of definition ⇐ (single-best-value constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• one-of constraint is subclass of definition ⇐ (one-of constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• Wikidata constraint scope is subclass of definition ⇐ (Wikidata constraint scope is subclass of Wikidata property definition), (Wikidata property definition is subclass of definition), (is subclass of is a transitive relation)
• property scope constraint is subclass of definition ⇐ (property scope constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• required qualifier constraint is subclass of definition ⇐ (required qualifier constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• conflicts-with constraint is subclass of definition ⇐ (conflicts-with constraint is subclass of Wikidata property definition), (Wikidata property definition is subclass of definition), (is subclass of is a transitive relation)
• single-value constraint is subclass of definition ⇐ (single-value constraint is subclass of Wikidata property definition), (Wikidata property definition is subclass of definition), (is subclass of is a transitive relation)
• property constraint is subclass of definition ⇐ (property constraint is subclass of Wikidata property definition), (Wikidata property definition is subclass of definition), (is subclass of is a transitive relation)