Deductions
- not equal to has quality class ⇐ (not equal to has quality type), (type has quality class), (has quality is a transitive relation)
- not equal to has quality quality ⇐ (not equal to is a set), (set has quality quality)
- not equal to has quality type ⇐ (not equal to is a set), (set has quality type)
- not equal to has quality property ⇐ (not equal to is a set), (set has quality property)
- not equal to has quality criterion ⇐ (not equal to is a set), (set has quality criterion)
- not equal to has quality type of property ⇐ (not equal to is a set), (set has quality type of property)
- entity is for example not equal to ⇐ (not equal to is a entity), (is a is inverse of is for example)
- set is for example not equal to ⇐ (not equal to is a set), (is a is inverse of is for example)
- not equal to is a set ⇐ (binary relation is subclass of set), (not equal to is a binary relation)
- not equal to is a entity ⇐ (binary relation is subclass of entity), (not equal to is a binary relation)
- not equal to has quality superclass ⇐ (not equal to is a binary relation), (binary relation has quality superclass)
- binary relation is for example not equal to ⇐ (not equal to is a binary relation), (is a is inverse of is for example)
- not equal to has quality type of property ⇐ (not equal to has quality mathematical object), (mathematical object has quality type of property), (has quality is a transitive relation)
- not equal to has quality class ⇐ (not equal to has quality mathematical object), (mathematical object has quality class), (has quality is a transitive relation)
- not equal to has quality quality ⇐ (not equal to has quality mathematical object), (mathematical object has quality quality), (has quality is a transitive relation)
- not equal to has quality mathematical property ⇐ (not equal to has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- not equal to has quality type ⇐ (not equal to has quality mathematical object), (mathematical object has quality type), (has quality is a transitive relation)
- not equal to has quality property ⇐ (not equal to has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
- not equal to has quality set ⇐ (not equal to has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- not equal to has quality relation ⇐ (not equal to has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- not equal to has quality criterion ⇐ (not equal to has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
- not equal to has quality mathematical object ⇐ (not equal to is a binary relation), (binary relation has quality mathematical object)
- not equal to has quality existence ⇐ (not equal to is a binary relation), (binary relation has quality existence)
- not equal to has quality taxonomic rank ⇐ (not equal to is a binary relation), (binary relation has quality taxonomic rank)
- not equal to has quality arity ⇐ (not equal to is a binary relation), (binary relation has quality arity)
- not equal to has quality superclass ⇐ (not equal to is a binary relation), (binary relation has quality superclass)
- not equal to has quality number of entities ⇐ (not equal to is a binary relation), (binary relation has quality number of entities)
- not equal to has quality abstract entity ⇐ (not equal to is a binary relation), (binary relation has quality abstract entity)
- not equal to has quality entity ⇐ (not equal to is a binary relation), (binary relation has quality entity)
- not equal to has quality class ⇐ (not equal to is a binary relation), (binary relation has quality class)
- equality is opposite of not equal to ⇐ not equal to is opposite of equality
- triangle inequality has part not equal to ⇐ (triangle inequality is subclass of inequality), (inequality has part not equal to)