Deductions
- logical connective has quality class ⇐ (left-totality is a class), (logical connective has quality left-totality)
- logical connective has quality entity ⇐ (logical connective has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- logical connective has quality superclass ⇐ (logical connective has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- logical connective has quality taxonomic rank ⇐ (logical connective has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- logical connective has quality abstract entity ⇐ (arity is a abstract entity), (logical connective has quality arity)
- logical connective has quality mathematical object ⇐ (arity is a mathematical object), (logical connective has quality arity)
- logical connective has quality existence ⇐ (logical connective is subclass of entity), (entity has quality existence)
- logical connective is for example => ⇐ (=> is a logical connective), (is a is inverse of is for example)
- logical connective is subclass of abstract entity ⇐ (logical connective is subclass of set), (set is subclass of abstract entity), (is subclass of is a transitive relation)
- logical connective is subclass of entity ⇐ (logical connective is subclass of set), (set is subclass of entity), (is subclass of is a transitive relation)
- logical connective is subclass of set ⇐ (logical connective is subclass of binary relation), (binary relation is subclass of set), (is subclass of is a transitive relation)
- logical connective is subclass of class ⇐ (logical connective is subclass of binary relation), (binary relation is subclass of class), (is subclass of is a transitive relation)
- logical connective is subclass of mathematical object ⇐ (logical connective is subclass of binary relation), (binary relation is subclass of mathematical object), (is subclass of is a transitive relation)
- logical connective is subclass of function ⇐ (logical connective is subclass of Boolean-valued function), (Boolean-valued function is subclass of function), (is subclass of is a transitive relation)
- logical connective is subclass of relation ⇐ (logical connective is subclass of Boolean-valued function), (Boolean-valued function is subclass of relation), (is subclass of is a transitive relation)
- logical connective is subclass of binary relation ⇐ (logical connective is subclass of Boolean-valued function), (Boolean-valued function is subclass of binary relation), (is subclass of is a transitive relation)
- logical connective has quality number of entities ⇐ (arity is subclass of number of entities), (logical connective has quality arity)
- logical connective has quality arity ⇐ (logical connective is subclass of Boolean-valued function), (Boolean-valued function has quality arity)
- logical connective has quality left-totality ⇐ (logical connective is subclass of Boolean-valued function), (Boolean-valued function has quality left-totality)