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