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