genealogy

Deductions

• genealogy is part of study of history ⇐ (genealogy is part of auxiliary science of history), (auxiliary science of history is part of study of history), (is part of is a transitive relation)
• knowledge system is for example genealogy ⇐ (genealogy is a knowledge system), (is a is inverse of is for example)
• field of study is for example genealogy ⇐ (genealogy is a field of study), (is a is inverse of is for example)
• genealogy is subclass of science ⇐ (genealogy is subclass of social sciences and humanities), (social sciences and humanities is subclass of science), (is subclass of is a transitive relation)
• genealogy is subclass of social sciences and humanities ⇐ (genealogy is subclass of humanities), (humanities is subclass of social sciences and humanities), (is subclass of is a transitive relation)
• genealogy is a knowledge system ⇐ (field of study is subclass of knowledge system), (genealogy is a field of study)