Deductions
- contributing factor is part of logic ⇐ (contributing factor is part of cause), (cause is part of logic), (is part of is a transitive relation)
- cause is part of logic ⇐ (cause is part of causality), (causality is part of logic), (is part of is a transitive relation)
- effect is part of logic ⇐ (effect is part of causality), (causality is part of logic), (is part of is a transitive relation)
- consequence is part of logic ⇐ (consequence is part of causality), (causality is part of logic), (is part of is a transitive relation)
- logic is part of science, technology, engineering, and mathematics ⇐ (logic is part of mathematics), (mathematics is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- logic has quality class ⇐ (existence is a class), (logic has quality existence)
- class is for example logic ⇐ (logic is a class), (is a is inverse of is for example)
- abstract entity is for example logic ⇐ (logic is a abstract entity), (is a is inverse of is for example)
- logic has quality entity ⇐ (logic is a abstract entity), (abstract entity has quality entity)
- logic has quality existence ⇐ (logic is a abstract entity), (abstract entity has quality existence)
- logic has quality superclass ⇐ (logic is a abstract entity), (abstract entity has quality superclass)
- logic has quality taxonomic rank ⇐ (logic is a abstract entity), (abstract entity has quality taxonomic rank)
- logic is a abstract entity ⇐ (class used in Universal Decimal Classification is subclass of abstract entity), (logic is a class used in Universal Decimal Classification)
- logic is a class ⇐ (class used in Universal Decimal Classification is subclass of class), (logic is a class used in Universal Decimal Classification)
- entity is for example logic ⇐ (logic is a entity), (is a is inverse of is for example)
- logic is a entity ⇐ (class used in Universal Decimal Classification is subclass of entity), (logic is a class used in Universal Decimal Classification)
- class used in Universal Decimal Classification is for example logic ⇐ (logic is a class used in Universal Decimal Classification), (is a is inverse of is for example)