Deductions
- logical consequence has quality class ⇐ (set is a class), (logical consequence has quality set)
- logical consequence has quality class ⇐ (abstract entity is a class), (logical consequence has quality abstract entity)
- logical consequence has quality class ⇐ (set is a class), (logical consequence has quality set)
- logical consequence has quality abstract entity ⇐ (set is a abstract entity), (logical consequence has quality set)
- logical consequence has quality class ⇐ (logical consequence is a concept), (concept has quality class)
- logical consequence has quality extension of a concept ⇐ (logical consequence is a concept), (concept has quality extension of a concept)
- logical consequence has quality mathematical object ⇐ (logical consequence is a concept), (concept has quality mathematical object)
- logical consequence has quality entity ⇐ (taxonomic rank is a entity), (logical consequence has quality taxonomic rank)
- logical consequence has quality expression ⇐ (truth value is subclass of expression), (logical consequence has quality truth value)
- logical consequence has quality mathematical property ⇐ (logical consequence is subclass of mathematical object), (mathematical object has quality mathematical property)
- logical consequence has quality set ⇐ (logical consequence is subclass of mathematical object), (mathematical object has quality set)
- logical consequence has quality relation ⇐ (logical consequence is subclass of mathematical object), (mathematical object has quality relation)
- logical consequence has quality computer science term ⇐ (value is a computer science term), (logical consequence has quality value)
- logical consequence has quality superclass ⇐ (logical consequence is subclass of abstract entity), (abstract entity has quality superclass)
- logical consequence has quality taxonomic rank ⇐ (logical consequence is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- logical consequence has quality existence ⇐ (logical consequence is subclass of entity), (entity has quality existence)
- concept is for example logical consequence ⇐ (logical consequence is a concept), (is a is inverse of is for example)
- entity is for example logical consequence ⇐ (logical consequence is a entity), (is a is inverse of is for example)
- abstract entity is for example logical consequence ⇐ (logical consequence is a abstract entity), (is a is inverse of is for example)
- logical consequence is subclass of entity ⇐ (logical consequence is subclass of proposition), (proposition is subclass of entity), (is subclass of is a transitive relation)
- logical consequence is subclass of abstract entity ⇐ (logical consequence is subclass of proposition), (proposition is subclass of abstract entity), (is subclass of is a transitive relation)
- logical consequence is subclass of proposition ⇐ (logical consequence is subclass of consequence), (consequence is subclass of proposition), (is subclass of is a transitive relation)
- logical consequence is subclass of mathematical object ⇐ (logical consequence is subclass of consequence), (consequence is subclass of mathematical object), (is subclass of is a transitive relation)
- logical consequence is a entity ⇐ (abstract entity is subclass of entity), (logical consequence is a abstract entity)
- logical consequence is a abstract entity ⇐ (concept is subclass of abstract entity), (logical consequence is a concept)
- logical consequence has quality value ⇐ (truth value is subclass of value), (logical consequence has quality truth value)
- logical consequence has quality truth value ⇐ (logical consequence is subclass of consequence), (consequence has quality truth value)