Deductions
- => has quality superclass ⇐ (=> has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- => has quality class ⇐ (abstract entity is a class), (=> has quality abstract entity)
- => has quality entity ⇐ (=> has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- => has quality superclass ⇐ (=> has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- => has quality taxonomic rank ⇐ (=> has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- => has quality abstract entity ⇐ (computer science term is a abstract entity), (=> has quality computer science term)
- => has quality expression ⇐ (truth value is subclass of expression), (=> has quality truth value)
- mathematical object is for example => ⇐ (=> is a mathematical object), (is a is inverse of is for example)
- class is for example => ⇐ (=> is a class), (is a is inverse of is for example)
- entity is for example => ⇐ (=> is a entity), (is a is inverse of is for example)
- => has quality existence ⇐ (=> is a entity), (entity has quality existence)
- => is a mathematical object ⇐ (logical connective is subclass of mathematical object), (=> is a logical connective)
- => is a class ⇐ (logical connective is subclass of class), (=> is a logical connective)
- => is a entity ⇐ (logical connective is subclass of entity), (=> is a logical connective)
- => has quality computer science term ⇐ (value is a computer science term), (=> has quality value)
- logical connective is for example => ⇐ (=> is a logical connective), (is a is inverse of is for example)
- Wikibase property is for example => ⇐ (=> is a Wikibase property), (is a is inverse of is for example)
- Boolean-valued function is for example => ⇐ (=> is a Boolean-valued function), (is a is inverse of is for example)
- => is subclass of entity ⇐ (=> is subclass of proposition), (proposition is subclass of entity), (is subclass of is a transitive relation)
- => is subclass of abstract entity ⇐ (=> is subclass of proposition), (proposition is subclass of abstract entity), (is subclass of is a transitive relation)
- => is subclass of mathematical object ⇐ (=> is subclass of proposition), (proposition is subclass of mathematical object), (is subclass of is a transitive relation)
- => is a Boolean-valued function ⇐ (logical connective is subclass of Boolean-valued function), (=> is a logical connective)
- => is a Wikibase property ⇐ (-> is subclass of Wikibase property), (=> is a ->)
- => has quality value ⇐ (truth value is subclass of value), (=> has quality truth value)
- => has quality truth value ⇐ (=> is subclass of proposition), (proposition has quality truth value)