Deductions
- formal system has quality class ⇐ (quality is a class), (formal system has quality quality)
- formal system has quality entity ⇐ (taxonomic rank is a entity), (formal system has quality taxonomic rank)
- formal system has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (formal system has quality metaclass)
- abstract entity is for example formal system ⇐ (formal system is a abstract entity), (is a is inverse of is for example)
- class is for example formal system ⇐ (formal system is a class), (is a is inverse of is for example)
- formal system has quality superclass ⇐ (formal system is a class), (class has quality superclass)
- formal system has quality taxonomic rank ⇐ (formal system is a class), (class has quality taxonomic rank)
- formal system is a class ⇐ (type of system is subclass of class), (formal system is a type of system)
- formal system is a abstract entity ⇐ (type of system is subclass of abstract entity), (formal system is a type of system)
- formal system has quality type ⇐ (criterion is a type), (formal system has quality criterion)
- formal system has quality class ⇐ (type of property is a class), (formal system has quality type of property)
- formal system has quality effect ⇐ (formal system is subclass of system), (system has quality effect)
- formal system has quality property ⇐ (formal system is subclass of system), (system has quality property)
- formal system has quality type of property ⇐ (formal system is subclass of system), (system has quality type of property)
- formal system has quality metaclass ⇐ (formal system is subclass of system), (system has quality metaclass)
- formal system has quality BFO class ⇐ (formal system is subclass of system), (system has quality BFO class)
- formal system has quality interaction ⇐ (formal system is subclass of system), (system has quality interaction)
- formal system has quality criterion ⇐ (formal system is subclass of system), (system has quality criterion)
- formal system has quality quality ⇐ (formal system is subclass of system), (system has quality quality)
- formal system has quality occurrence ⇐ (formal system is subclass of system), (system has quality occurrence)
- formal system has quality philosophical concept ⇐ (formal system is subclass of system), (system has quality philosophical concept)
- formal system has quality occurrent ⇐ (formal system is subclass of system), (system has quality occurrent)
- formal system has quality action ⇐ (formal system is subclass of system), (system has quality action)
- formal system has quality existence ⇐ (formal system is subclass of collective entity), (collective entity has quality existence)
- type of system is for example formal system ⇐ (formal system is a type of system), (is a is inverse of is for example)
- formal system is subclass of collective entity ⇐ (formal system is subclass of conceptual system), (conceptual system is subclass of collective entity), (is subclass of is a transitive relation)
- formal system is subclass of system ⇐ (formal system is subclass of conceptual system), (conceptual system is subclass of system), (is subclass of is a transitive relation)
- formal system is subclass of entity ⇐ (formal system is subclass of conceptual system), (conceptual system is subclass of entity), (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)