Deductions
- system is for example interdisciplinary science ⇐ (interdisciplinary science is a system), (is a is inverse of is for example)
- interdisciplinary science is a system ⇐ (branch of science is subclass of system), (interdisciplinary science is a branch of science)
- metrology has part system ⇐ (physics is a system), (metrology has part physics)
- physical sciences has part system ⇐ (physics is a system), (physical sciences has part physics)
- system is for example physics ⇐ (physics is a system), (is a is inverse of is for example)
- physics is a system ⇐ (branch of science is subclass of system), (physics is a branch of science)
- system is for example physical sciences ⇐ (physical sciences is a system), (is a is inverse of is for example)
- physical sciences is a system ⇐ (branch of science is subclass of system), (physical sciences is a branch of science)
- system has part class ⇐ (entity is a class), (system has part entity)
- educational system is subclass of system ⇐ (educational system is subclass of social system), (social system is subclass of system), (is subclass of is a transitive relation)
- system has part concept ⇐ (class is a concept), (system has part class)
- system has part class ⇐ (type is a class), (system has part type)
- system has quality class ⇐ (quality is a class), (system has quality quality)
- system has part abstract entity ⇐ (type is a abstract entity), (system has part type)
- system is for example medical sciences ⇐ (medical sciences is a system), (is a is inverse of is for example)
- system is for example natural science ⇐ (natural science is a system), (is a is inverse of is for example)
- system is for example electronics ⇐ (electronics is a system), (is a is inverse of is for example)
- system is for example human anatomy ⇐ (human anatomy is a system), (is a is inverse of is for example)
- system is for example social sciences and humanities ⇐ (social sciences and humanities is a system), (is a is inverse of is for example)
- system is for example sociology of occupation ⇐ (sociology of occupation is a system), (is a is inverse of is for example)
- system is for example electrical engineering ⇐ (electrical engineering is a system), (is a is inverse of is for example)
- system is for example optics ⇐ (optics is a system), (is a is inverse of is for example)
- system is for example national economy ⇐ (national economy is a system), (is a is inverse of is for example)
- system is for example life sciences ⇐ (life sciences is a system), (is a is inverse of is for example)
- system is for example systematics ⇐ (systematics is a system), (is a is inverse of is for example)
- universal classification scheme is subclass of system ⇐ (specialised classification scheme is subclass of system), (specialised classification scheme is opposite of universal classification scheme)
- heterarchy is subclass of system ⇐ (hierarchy is subclass of system), (hierarchy is opposite of heterarchy)
- electronics is a system ⇐ (branch of science is subclass of system), (electronics is a branch of science)
- systematics is a system ⇐ (branch of science is subclass of system), (systematics is a branch of science)
- life sciences is a system ⇐ (branch of science is subclass of system), (life sciences is a branch of science)
- national economy is a system ⇐ (branch of science is subclass of system), (national economy is a branch of science)
- optics is a system ⇐ (branch of science is subclass of system), (optics is a branch of science)
- electrical engineering is a system ⇐ (branch of science is subclass of system), (electrical engineering is a branch of science)
- sociology of occupation is a system ⇐ (branch of science is subclass of system), (sociology of occupation is a branch of science)
- medical sciences is a system ⇐ (branch of science is subclass of system), (medical sciences is a branch of science)
- social sciences and humanities is a system ⇐ (branch of science is subclass of system), (social sciences and humanities is a branch of science)
- natural science is a system ⇐ (branch of science is subclass of system), (natural science is a branch of science)
- human anatomy is a system ⇐ (branch of science is subclass of system), (human anatomy is a branch of science)
- system has quality type of object ⇐ (class is a type of object), (system has quality class)
- system has quality entity ⇐ (type is a entity), (system has quality type)
- system has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (system has quality metaclass)
- system has part variable-order class ⇐ (entity is a variable-order class), (system has part entity)
- atheism has part system ⇐ (philosophy of religion is a system), (atheism has part philosophy of religion)
- system has part entity ⇐ (type is a entity), (system has part type)
- system is for example archaeology ⇐ (archaeology is a system), (is a is inverse of is for example)
- system is for example agnosticism ⇐ (agnosticism is a system), (is a is inverse of is for example)
- system is for example veterinary medicine ⇐ (veterinary medicine is a system), (is a is inverse of is for example)
- system is for example pseudoarchaeology ⇐ (pseudoarchaeology is a system), (is a is inverse of is for example)
- system is for example philosophy of religion ⇐ (philosophy of religion is a system), (is a is inverse of is for example)
- system is for example metaphysics ⇐ (metaphysics is a system), (is a is inverse of is for example)
- system is for example cardiology ⇐ (cardiology is a system), (is a is inverse of is for example)
- system is for example pulmonology ⇐ (pulmonology is a system), (is a is inverse of is for example)
- system is for example audiology ⇐ (audiology is a system), (is a is inverse of is for example)
- philosophy of religion is a system ⇐ (branch of philosophy is subclass of system), (philosophy of religion is a branch of philosophy)
- agnosticism is a system ⇐ (branch of philosophy is subclass of system), (agnosticism is a branch of philosophy)
- metaphysics is a system ⇐ (branch of philosophy is subclass of system), (metaphysics is a branch of philosophy)
- veterinary medicine is a system ⇐ (medical specialty is subclass of system), (veterinary medicine is a medical specialty)
- audiology is a system ⇐ (medical specialty is subclass of system), (audiology is a medical specialty)
- cardiology is a system ⇐ (medical specialty is subclass of system), (cardiology is a medical specialty)
- pulmonology is a system ⇐ (medical specialty is subclass of system), (pulmonology is a medical specialty)
- archaeology is a system ⇐ (branch of pseudoscience is subclass of system), (archaeology is a branch of pseudoscience)
- pseudoarchaeology is a system ⇐ (branch of pseudoscience is subclass of system), (pseudoarchaeology is a branch of pseudoscience)
- system has quality type ⇐ (criterion is a type), (system has quality criterion)
- system has quality class ⇐ (type of property is a class), (system has quality type of property)
- system has part type ⇐ (component is a type), (system has part component)
- type of object is for example system ⇐ (system is a type of object), (is a is inverse of is for example)
- type is for example system ⇐ (system is a type), (is a is inverse of is for example)
- science is subclass of system ⇐ (non-science is subclass of system), (non-science is opposite of science)
- system has quality property ⇐ (system has quality metaclass), (metaclass has quality property), (has quality is a transitive relation)
- system has quality quality ⇐ (system has quality metaclass), (metaclass has quality quality), (has quality is a transitive relation)
- system has quality type of property ⇐ (system has quality metaclass), (metaclass has quality type of property), (has quality is a transitive relation)
- system has quality criterion ⇐ (system has quality metaclass), (metaclass has quality criterion), (has quality 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)
- non-science is subclass of system ⇐ (non-science is subclass of field of study), (field of study is subclass of system), (is subclass of is a transitive relation)
- branch of pseudoscience is subclass of system ⇐ (branch of pseudoscience is subclass of field of study), (field of study is subclass of system), (is subclass of is a transitive relation)
- hearing science is subclass of system ⇐ (hearing science is subclass of conceptual system), (conceptual system is subclass of system), (is subclass of is a transitive relation)
- philosophy is subclass of system ⇐ (philosophy is subclass of conceptual system), (conceptual system is subclass of system), (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)
- elementary algebra is subclass of system ⇐ (elementary algebra is subclass of area of mathematics), (area of mathematics is subclass of system), (is subclass of is a transitive relation)
- boolean algebra is subclass of system ⇐ (boolean algebra is subclass of academic discipline), (academic discipline is subclass of system), (is subclass of is a transitive relation)
- specialised classification scheme is subclass of system ⇐ (specialised classification scheme is subclass of classification scheme), (classification scheme is subclass of system), (is subclass of is a transitive relation)
- hierarchy is subclass of system ⇐ (hierarchy is subclass of conceptual system), (conceptual system is subclass of system), (is subclass of is a transitive relation)
- medical specialty is subclass of system ⇐ (medical specialty is subclass of branch of science), (branch of science is subclass of system), (is subclass of is a transitive relation)
- branch of philosophy is subclass of system ⇐ (branch of philosophy is subclass of academic discipline), (academic discipline is subclass of system), (is subclass of is a transitive relation)
- algebra is subclass of system ⇐ (algebra is subclass of area of mathematics), (area of mathematics is subclass of system), (is subclass of is a transitive relation)
- area of mathematics is subclass of system ⇐ (area of mathematics is subclass of academic discipline), (academic discipline is subclass of system), (is subclass of is a transitive relation)
- typology is subclass of system ⇐ (typology is subclass of classification scheme), (classification scheme is subclass of system), (is subclass of is a transitive relation)
- encyclopedic dictionary is subclass of system ⇐ (encyclopedic dictionary is subclass of dictionary), (dictionary is subclass of system), (is subclass of is a transitive relation)
- dictionary is subclass of system ⇐ (dictionary is subclass of knowledge organization system), (knowledge organization system is subclass of system), (is subclass of is a transitive relation)
- branch of science is subclass of system ⇐ (branch of science is subclass of field of study), (field of study is subclass of system), (is subclass of is a transitive relation)
- field of study is subclass of system ⇐ (field of study is subclass of field of study), (field of study is subclass of system), (is subclass of is a transitive relation)
- controlled vocabulary is subclass of system ⇐ (controlled vocabulary is subclass of knowledge organization system), (knowledge organization system is subclass of system), (is subclass of is a transitive relation)
- data model is subclass of system ⇐ (data model is subclass of conceptual model), (conceptual model is subclass of system), (is subclass of is a transitive relation)
- conceptual model is subclass of system ⇐ (conceptual model is subclass of knowledge organization system), (knowledge organization system is subclass of system), (is subclass of is a transitive relation)
- academic discipline is subclass of system ⇐ (academic discipline is subclass of field of study), (field of study is subclass of system), (is subclass of is a transitive relation)
- classification scheme is subclass of system ⇐ (classification scheme is subclass of knowledge organization system), (knowledge organization system is subclass of system), (is subclass of is a transitive relation)
- field of work is subclass of system ⇐ (field of work is subclass of field of study), (field of study is subclass of system), (is subclass of is a transitive relation)
- notation is subclass of system ⇐ (notation is subclass of conceptual system), (conceptual system is subclass of system), (is subclass of is a transitive relation)
- natural environment is subclass of system ⇐ (natural environment is subclass of environment), (environment is subclass of system), (is subclass of is a transitive relation)
- field of study is subclass of system ⇐ (field of study is subclass of conceptual system), (conceptual system is subclass of system), (is subclass of is a transitive relation)
- knowledge organization system is subclass of system ⇐ (knowledge organization system is subclass of conceptual system), (conceptual system is subclass of system), (is subclass of is a transitive relation)
- system is a type ⇐ (type of object is subclass of type), (system is a type of object)
- system has quality metaclass ⇐ (BFO class is a metaclass), (system has quality BFO class)
- system has quality BFO class ⇐ (occurrent is a BFO class), (system has quality occurrent)
- system has quality philosophical concept ⇐ (interaction is a philosophical concept), (system has quality interaction)
- system has quality occurrent ⇐ (occurrence is subclass of occurrent), (system has quality occurrence)
- system has quality occurrence ⇐ (action is subclass of occurrence), (system has quality action)
- system has quality action ⇐ (effect is subclass of action), (system has quality effect)
- system has quality effect ⇐ (interaction is subclass of effect), (system has quality interaction)
- system has quality existence ⇐ (system is subclass of collective entity), (collective entity has quality existence)