Deductions
- antecedent has quality class ⇐ (abstract entity is a class), (antecedent has quality abstract entity)
- antecedent is part of declarative sentence ⇐ (antecedent is part of proposition), (proposition is part of declarative sentence), (is part of is a transitive relation)
- antecedent has quality abstract entity ⇐ (computer science term is a abstract entity), (antecedent has quality computer science term)
- antecedent has quality expression ⇐ (truth value is subclass of expression), (antecedent has quality truth value)
- antecedent has quality computer science term ⇐ (value is a computer science term), (antecedent has quality value)
- term is for example antecedent ⇐ (antecedent is a term), (is a is inverse of is for example)
- antecedent is subclass of entity ⇐ (antecedent is subclass of proposition), (proposition is subclass of entity), (is subclass of is a transitive relation)
- antecedent is subclass of abstract entity ⇐ (antecedent is subclass of proposition), (proposition is subclass of abstract entity), (is subclass of is a transitive relation)
- antecedent is subclass of mathematical object ⇐ (antecedent is subclass of proposition), (proposition is subclass of mathematical object), (is subclass of is a transitive relation)
- antecedent has quality value ⇐ (truth value is subclass of value), (antecedent has quality truth value)
- antecedent has quality truth value ⇐ (antecedent is subclass of proposition), (proposition has quality truth value)
- antecedent is a term ⇐ (consequent is a term), (consequent is opposite of antecedent)