Deductions
- consequence has quality class ⇐ (abstract entity is a class), (consequence has quality abstract entity)
- consequence is part of logic ⇐ (consequence is part of causality), (causality is part of logic), (is part of is a transitive relation)
- consequence has quality abstract entity ⇐ (computer science term is a abstract entity), (consequence has quality computer science term)
- consequence has quality expression ⇐ (truth value is subclass of expression), (consequence has quality truth value)
- consequence has quality computer science term ⇐ (value is a computer science term), (consequence has quality value)
- consequence is subclass of entity ⇐ (consequence is subclass of proposition), (proposition is subclass of entity), (is subclass of is a transitive relation)
- consequence is subclass of abstract entity ⇐ (consequence is subclass of proposition), (proposition is subclass of abstract entity), (is subclass of is a transitive relation)
- consequence is subclass of mathematical object ⇐ (consequence is subclass of proposition), (proposition is subclass of mathematical object), (is subclass of is a transitive relation)
- consequence has quality value ⇐ (truth value is subclass of value), (consequence has quality truth value)
- consequence has quality truth value ⇐ (consequence is subclass of proposition), (proposition has quality truth value)