Deductions
- branch of science is for example interdisciplinary science ⇐ (interdisciplinary science is a branch of science), (is a is inverse of is for example)
- branch of science is for example physical sciences ⇐ (physical sciences is a branch of science), (is a is inverse of is for example)
- branch of science is for example physics ⇐ (physics is a branch of science), (is a is inverse of is for example)
- branch of science is part of science, technology, engineering, and mathematics ⇐ (branch of science is part of science), (science is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- branch of science has quality class ⇐ (quality is a class), (branch of science has quality quality)
- branch of science is for example systematics ⇐ (systematics is a branch of science), (is a is inverse of is for example)
- systematics is a branch of science ⇐ (branch of biology is subclass of branch of science), (systematics is a branch of biology)
- branch of science has quality entity ⇐ (taxonomic rank is a entity), (branch of science has quality taxonomic rank)
- branch of science has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (branch of science has quality metaclass)
- branch of science has quality action ⇐ (branch of science is subclass of system), (system has quality action)
- branch of science has quality occurrent ⇐ (branch of science is subclass of system), (system has quality occurrent)
- branch of science has quality philosophical concept ⇐ (branch of science is subclass of system), (system has quality philosophical concept)
- branch of science has quality occurrence ⇐ (branch of science is subclass of system), (system has quality occurrence)
- branch of science has quality criterion ⇐ (branch of science is subclass of system), (system has quality criterion)
- branch of science has quality interaction ⇐ (branch of science is subclass of system), (system has quality interaction)
- branch of science has quality BFO class ⇐ (branch of science is subclass of system), (system has quality BFO class)
- branch of science has quality metaclass ⇐ (branch of science is subclass of system), (system has quality metaclass)
- branch of science has quality effect ⇐ (branch of science is subclass of system), (system has quality effect)
- branch of science is for example sociology of occupation ⇐ (sociology of occupation is a branch of science), (is a is inverse of is for example)
- branch of science is for example electronics ⇐ (electronics is a branch of science), (is a is inverse of is for example)
- branch of science is for example electrical engineering ⇐ (electrical engineering is a branch of science), (is a is inverse of is for example)
- branch of science is for example optics ⇐ (optics is a branch of science), (is a is inverse of is for example)
- optics is a branch of science ⇐ (branch of physics is subclass of branch of science), (optics is a branch of physics)
- electrical engineering is a branch of science ⇐ (technical sciences is subclass of branch of science), (electrical engineering is a technical sciences)
- sociology of occupation is a branch of science ⇐ (branch of sociology is subclass of branch of science), (sociology of occupation is a branch of sociology)
- branch of science has quality class ⇐ (type of property is a class), (branch of science has quality type of property)
- branch of science has quality existence ⇐ (branch of science is subclass of entity), (entity has quality existence)
- male and female has part branch of science ⇐ (human anatomy is a branch of science), (male and female has part human anatomy)
- sex of humans has part branch of science ⇐ (human anatomy is a branch of science), (sex of humans has part human anatomy)
- classification scheme is for example branch of science ⇐ (branch of science is a classification scheme), (is a is inverse of is for example)
- branch of science is for example life sciences ⇐ (life sciences is a branch of science), (is a is inverse of is for example)
- branch of science is for example national economy ⇐ (national economy is a branch of science), (is a is inverse of is for example)
- knowledge classification is for example branch of science ⇐ (branch of science is a knowledge classification), (is a is inverse of is for example)
- knowledge organization system is for example branch of science ⇐ (branch of science is a knowledge organization system), (is a is inverse of is for example)
- branch of science is for example human anatomy ⇐ (human anatomy is a branch of science), (is a is inverse of is for example)
- branch of science is for example natural science ⇐ (natural science is a branch of science), (is a is inverse of is for example)
- branch of science is for example social sciences and humanities ⇐ (social sciences and humanities is a branch of science), (is a is inverse of is for example)
- branch of science is for example medical sciences ⇐ (medical sciences is a branch of science), (is a is inverse of is for example)
- branch of science has quality property ⇐ (branch of science has quality topic), (topic has quality property), (has quality is a transitive relation)
- branch of science has quality quality ⇐ (branch of science has quality topic), (topic has quality quality), (has quality is a transitive relation)
- branch of science has quality type of property ⇐ (branch of science has quality topic), (topic has quality type of property), (has quality is a transitive relation)
- branch of science has quality information quality ⇐ (branch of science has quality topic), (topic has quality information quality), (has quality is a transitive relation)
- branch of science has quality superclass ⇐ (branch of science has quality topic), (topic has quality superclass), (has quality is a transitive relation)
- branch of science has quality type ⇐ (branch of science has quality topic), (topic has quality type), (has quality is a transitive relation)
- branch of science has quality taxonomic rank ⇐ (branch of science has quality topic), (topic has quality taxonomic rank), (has quality is a transitive relation)
- branch of science is subclass of entity ⇐ (branch of science is subclass of collective entity), (collective entity is subclass of entity), (is subclass of is a transitive relation)
- branch of science is subclass of conceptual system ⇐ (branch of science is subclass of field of study), (field of study is subclass of conceptual system), (is subclass of is a transitive relation)
- branch of science is subclass of knowledge system ⇐ (branch of science is subclass of field of study), (field of study is subclass of knowledge 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)
- branch of science is subclass of collective entity ⇐ (branch of science is subclass of field of study), (field of study is subclass of collective entity), (is subclass of is a transitive relation)
- branch of science is a knowledge organization system ⇐ (classification scheme is subclass of knowledge organization system), (branch of science is a classification scheme)
- branch of science has quality quality ⇐ (topic is a quality), (branch of science has quality topic)
- branch of science has quality topic ⇐ (branch of science is subclass of field of study), (field of study has quality topic)
- branch of science is a classification scheme ⇐ (branch of pseudoscience is a classification scheme), (branch of pseudoscience is opposite of branch of science)