conflicts-with constraint

Deductions

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