item-requires-statement constraint

Deductions

• item-requires-statement constraint has quality class ⇐ (set is a class), (item-requires-statement constraint has quality set)
• item-requires-statement constraint has quality class ⇐ (abstract entity is a class), (item-requires-statement constraint has quality abstract entity)
• item-requires-statement constraint has quality class ⇐ (set is a class), (item-requires-statement constraint has quality set)
• 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)
• item-requires-statement constraint has quality abstract entity ⇐ (arity is a abstract entity), (item-requires-statement constraint has quality arity)
• item-requires-statement constraint has quality entity ⇐ (taxonomic rank is a entity), (item-requires-statement constraint has quality taxonomic rank)
• item-requires-statement constraint has quality mathematical object ⇐ (arity is a mathematical object), (item-requires-statement constraint has quality arity)
• item-requires-statement constraint has quality expression ⇐ (truth value is subclass of expression), (item-requires-statement constraint has quality truth value)
• item-requires-statement constraint is subclass of mathematical object ⇐ (conflicts-with constraint is subclass of mathematical object), (conflicts-with constraint is opposite of item-requires-statement constraint)
• item-requires-statement constraint is subclass of Wikidata property definition ⇐ (conflicts-with constraint is subclass of Wikidata property definition), (conflicts-with constraint is opposite of item-requires-statement constraint)
• item-requires-statement constraint has quality computer science term ⇐ (value is a computer science term), (item-requires-statement constraint has quality value)
• item-requires-statement constraint has quality arity ⇐ (item-requires-statement constraint is subclass of proposition), (proposition has quality arity)
• item-requires-statement constraint has quality taxonomic rank ⇐ (item-requires-statement constraint is subclass of proposition), (proposition has quality taxonomic rank)
• item-requires-statement constraint has quality set ⇐ (item-requires-statement constraint is subclass of proposition), (proposition has quality set)
• item-requires-statement constraint has quality superclass ⇐ (item-requires-statement constraint is subclass of proposition), (proposition has quality superclass)
• item-requires-statement constraint has quality mathematical property ⇐ (item-requires-statement constraint is subclass of proposition), (proposition has quality mathematical property)
• item-requires-statement constraint has quality number of entities ⇐ (item-requires-statement constraint is subclass of proposition), (proposition has quality number of entities)
• item-requires-statement constraint has quality truth value ⇐ (item-requires-statement constraint is subclass of proposition), (proposition has quality truth value)
• item-requires-statement constraint has quality relation ⇐ (item-requires-statement constraint is subclass of proposition), (proposition has quality relation)
• item-requires-statement constraint has quality value ⇐ (item-requires-statement constraint is subclass of proposition), (proposition has quality value)
• item-requires-statement constraint has quality existence ⇐ (item-requires-statement constraint is subclass of entity), (entity has quality existence)
• item-requires-statement constraint is subclass of entity ⇐ (conflicts-with constraint is subclass of entity), (conflicts-with constraint is opposite of item-requires-statement constraint)
• item-requires-statement constraint is subclass of proposition ⇐ (conflicts-with constraint is subclass of proposition), (conflicts-with constraint is opposite of item-requires-statement constraint)