Deductions
- conclusion has quality class ⇐ (abstract entity is a class), (conclusion has quality abstract entity)
- conclusion has quality abstract entity ⇐ (computer science term is a abstract entity), (conclusion has quality computer science term)
- conclusion has quality expression ⇐ (truth value is subclass of expression), (conclusion has quality truth value)
- conclusion has quality computer science term ⇐ (value is a computer science term), (conclusion has quality value)
- term is for example conclusion ⇐ (conclusion is a term), (is a is inverse of is for example)
- technical term is for example conclusion ⇐ (conclusion is a technical term), (is a is inverse of is for example)
- conclusion is subclass of entity ⇐ (conclusion is subclass of proposition), (proposition is subclass of entity), (is subclass of is a transitive relation)
- conclusion is subclass of abstract entity ⇐ (conclusion is subclass of proposition), (proposition is subclass of abstract entity), (is subclass of is a transitive relation)
- conclusion is subclass of mathematical object ⇐ (conclusion is subclass of proposition), (proposition is subclass of mathematical object), (is subclass of is a transitive relation)
- conclusion is a term ⇐ (technical term is subclass of term), (conclusion is a technical term)
- conclusion has quality value ⇐ (truth value is subclass of value), (conclusion has quality truth value)
- conclusion has quality truth value ⇐ (conclusion is subclass of proposition), (proposition has quality truth value)