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