Deductions
- object of study has quality class ⇐ (existence is a class), (object of study has quality existence)
- object of study is part of science ⇐ (object of study is part of research), (research is part of science), (is part of is a transitive relation)
- object of study is part of science, technology, engineering, and mathematics ⇐ (object of study is part of research), (research is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- object of study has quality entity ⇐ (taxonomic rank is a entity), (object of study has quality taxonomic rank)
- object of study has quality existence ⇐ (object of study is subclass of abstract entity), (abstract entity has quality existence)
- object of study has quality superclass ⇐ (object of study is subclass of abstract entity), (abstract entity has quality superclass)
- object of study has quality taxonomic rank ⇐ (object of study is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- type of object is for example object of study ⇐ (object of study is a type of object), (is a is inverse of is for example)
- object of study is subclass of abstract entity ⇐ (object of study is subclass of topic), (topic is subclass of abstract entity), (is subclass of is a transitive relation)
- object of study is subclass of information ⇐ (object of study is subclass of topic), (topic is subclass of information), (is subclass of is a transitive relation)
- object of study is subclass of entity ⇐ (object of study is subclass of topic), (topic is subclass of entity), (is subclass of is a transitive relation)
- history of Earth is subclass of object of study ⇐ (history of Earth is subclass of history), (history is subclass of object of study), (is subclass of is a transitive relation)
- human history is subclass of object of study ⇐ (human history is subclass of history), (history is subclass of object of study), (is subclass of is a transitive relation)
- history of English is subclass of object of study ⇐ (history of English is subclass of history), (history is subclass of object of study), (is subclass of is a transitive relation)