Deductions
- consequent has quality type ⇐ (consequent has quality class), (class has quality type), (has quality is a transitive relation)
- consequent has quality type of property ⇐ (consequent has quality class), (class has quality type of property), (has quality is a transitive relation)
- consequent has quality criterion ⇐ (consequent has quality class), (class has quality criterion), (has quality is a transitive relation)
- consequent has quality quality ⇐ (consequent has quality class), (class has quality quality), (has quality is a transitive relation)
- consequent has quality property ⇐ (consequent has quality class), (class has quality property), (has quality is a transitive relation)
- consequent has quality class ⇐ (set is a class), (consequent has quality set)
- consequent has quality class ⇐ (quality is a class), (consequent has quality quality)
- consequent has quality type ⇐ (consequent has quality class), (class has quality type), (has quality is a transitive relation)
- consequent has quality type of property ⇐ (consequent has quality class), (class has quality type of property), (has quality is a transitive relation)
- consequent has quality criterion ⇐ (consequent has quality class), (class has quality criterion), (has quality is a transitive relation)
- consequent has quality quality ⇐ (consequent has quality class), (class has quality quality), (has quality is a transitive relation)
- consequent has quality property ⇐ (consequent has quality class), (class has quality property), (has quality is a transitive relation)
- consequent has quality class ⇐ (set is a class), (consequent has quality set)
- consequent is subclass of mathematical object ⇐ (antecedent is subclass of mathematical object), (antecedent is opposite of consequent)
- consequent has quality existence ⇐ (consequent has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- consequent has quality abstract entity ⇐ (arity is a abstract entity), (consequent has quality arity)
- consequent has quality entity ⇐ (taxonomic rank is a entity), (consequent has quality taxonomic rank)
- consequent has quality mathematical object ⇐ (arity is a mathematical object), (consequent has quality arity)
- consequent has quality expression ⇐ (truth value is subclass of expression), (consequent has quality truth value)
- consequent has quality computer science term ⇐ (value is a computer science term), (consequent has quality value)
- term is for example consequent ⇐ (consequent is a term), (is a is inverse of is for example)
- consequent is subclass of abstract entity ⇐ (antecedent is subclass of abstract entity), (antecedent is opposite of consequent)
- consequent is subclass of entity ⇐ (antecedent is subclass of entity), (antecedent is opposite of consequent)
- consequent has quality arity ⇐ (consequent has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- consequent has quality number of entities ⇐ (consequent has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- consequent has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (consequent has quality superclass)
- consequent has quality value ⇐ (truth value is subclass of value), (consequent has quality truth value)
- consequent has quality set ⇐ (relation is subclass of set), (consequent has quality relation)
- consequent has quality relation ⇐ (mathematical property is subclass of relation), (consequent has quality mathematical property)
- consequent has quality superclass ⇐ (consequent is subclass of proposition), (proposition has quality superclass)
- consequent has quality mathematical property ⇐ (consequent is subclass of proposition), (proposition has quality mathematical property)
- consequent has quality truth value ⇐ (consequent is subclass of proposition), (proposition has quality truth value)