none-of constraint

Deductions

• none-of constraint has quality class ⇐ (abstract entity is a class), (none-of constraint has quality abstract entity)
• none-of constraint has quality existence ⇐ (none-of constraint has quality entity), (entity has quality existence), (has quality is a transitive relation)
• none-of constraint has quality entity ⇐ (type of definition is a entity), (none-of constraint has quality type of definition)
• none-of constraint has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (none-of constraint has quality metaclass)
• none-of constraint has quality metaclass ⇐ (type of definition is a metaclass), (none-of constraint has quality type of definition)
• none-of constraint has quality type of definition ⇐ (none-of constraint is subclass of definition), (definition has quality type of definition)
• none-of constraint is subclass of definition ⇐ (one-of constraint is subclass of definition), (one-of constraint is opposite of none-of constraint)