Deductions
- classical logic has quality superclass ⇐ (classical logic has quality relation), (relation has quality superclass), (has quality is a transitive relation)
- classical logic is part of mathematics ⇐ (classical logic is part of logic), (logic is part of mathematics), (is part of is a transitive relation)
- classical logic has quality class ⇐ (quality is a class), (classical logic has quality quality)
- classical logic has quality superclass ⇐ (classical logic has quality relation), (relation has quality superclass), (has quality is a transitive relation)
- classical logic has quality taxonomic rank ⇐ (classical logic has quality relation), (relation has quality taxonomic rank), (has quality is a transitive relation)
- classical logic has quality relation ⇐ (arity is a relation), (classical logic has quality arity)
- classical logic has quality Wikimedia page ⇐ (consistency is a Wikimedia page), (classical logic has quality consistency)
- classical logic has quality dyad ⇐ (consistency is subclass of dyad), (classical logic has quality consistency)
- classical logic has quality entity ⇐ (type is a entity), (classical logic has quality type)
- classical logic has quality mathematical object ⇐ (arity is a mathematical object), (classical logic has quality arity)
- classical logic has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (classical logic has quality metaclass)
- classical logic has quality type ⇐ (criterion is a type), (classical logic has quality criterion)
- classical logic has quality class ⇐ (type of property is a class), (classical logic has quality type of property)
- classical logic has quality Wikimedia internal item ⇐ (consistency is a Wikimedia internal item), (classical logic has quality consistency)
- classical logic has quality effect ⇐ (classical logic is subclass of system), (system has quality effect)
- classical logic has quality property ⇐ (classical logic is subclass of system), (system has quality property)
- classical logic has quality type of property ⇐ (classical logic is subclass of system), (system has quality type of property)
- classical logic has quality metaclass ⇐ (classical logic is subclass of system), (system has quality metaclass)
- classical logic has quality BFO class ⇐ (classical logic is subclass of system), (system has quality BFO class)
- classical logic has quality interaction ⇐ (classical logic is subclass of system), (system has quality interaction)
- classical logic has quality criterion ⇐ (classical logic is subclass of system), (system has quality criterion)
- classical logic has quality quality ⇐ (classical logic is subclass of system), (system has quality quality)
- classical logic has quality occurrence ⇐ (classical logic is subclass of system), (system has quality occurrence)
- classical logic has quality philosophical concept ⇐ (classical logic is subclass of system), (system has quality philosophical concept)
- classical logic has quality occurrent ⇐ (classical logic is subclass of system), (system has quality occurrent)
- classical logic has quality action ⇐ (classical logic is subclass of system), (system has quality action)
- classical logic has quality existence ⇐ (classical logic is subclass of system), (system has quality existence)
- classical logic has quality arity ⇐ (classical logic has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- classical logic has quality number of entities ⇐ (classical logic has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- classical logic is subclass of collective entity ⇐ (classical logic is subclass of conceptual system), (conceptual system is subclass of collective entity), (is subclass of is a transitive relation)
- classical logic is subclass of system ⇐ (classical logic is subclass of conceptual system), (conceptual system is subclass of system), (is subclass of is a transitive relation)
- classical logic is subclass of entity ⇐ (classical logic is subclass of conceptual system), (conceptual system is subclass of entity), (is subclass of is a transitive relation)
- classical logic is subclass of conceptual system ⇐ (classical logic is subclass of formal system), (formal system is subclass of conceptual system), (is subclass of is a transitive relation)
- classical logic is subclass of formal system ⇐ (classical logic is subclass of logical system), (logical system is subclass of formal system), (is subclass of is a transitive relation)
- classical logic has quality mathematical property ⇐ (consistency is subclass of mathematical property), (classical logic has quality consistency)
- classical logic has quality consistency ⇐ (classical logic is subclass of logical system), (logical system has quality consistency)