Deductions
- branch of philosophy is for example political philosophy ⇐ (political philosophy is a branch of philosophy), (is a is inverse of is for example)
- branch of philosophy is for example social philosophy ⇐ (social philosophy is a branch of philosophy), (is a is inverse of is for example)
- branch of philosophy is for example theoretical philosophy ⇐ (theoretical philosophy is a branch of philosophy), (is a is inverse of is for example)
- branch of philosophy is part of humanities ⇐ (branch of philosophy is part of philosophy), (philosophy is part of humanities), (is part of is a transitive relation)
- atheism has part branch of philosophy ⇐ (philosophy of religion is a branch of philosophy), (atheism has part philosophy of religion)
- branch of philosophy is for example philosophy of religion ⇐ (philosophy of religion is a branch of philosophy), (is a is inverse of is for example)
- academic discipline is for example branch of philosophy ⇐ (branch of philosophy is a academic discipline), (is a is inverse of is for example)
- field of study is for example branch of philosophy ⇐ (branch of philosophy is a field of study), (is a is inverse of is for example)
- branch of philosophy is for example agnosticism ⇐ (agnosticism is a branch of philosophy), (is a is inverse of is for example)
- branch of philosophy is for example metaphysics ⇐ (metaphysics is a branch of philosophy), (is a is inverse of is for example)
- branch of philosophy is subclass of conceptual system ⇐ (branch of philosophy is subclass of academic discipline), (academic discipline is subclass of conceptual system), (is subclass of is a transitive relation)
- branch of philosophy is subclass of knowledge system ⇐ (branch of philosophy is subclass of academic discipline), (academic discipline is subclass of knowledge 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)
- branch of philosophy is subclass of collective entity ⇐ (branch of philosophy is subclass of academic discipline), (academic discipline is subclass of collective entity), (is subclass of is a transitive relation)
- branch of philosophy is subclass of entity ⇐ (branch of philosophy is subclass of academic discipline), (academic discipline is subclass of entity), (is subclass of is a transitive relation)
- branch of philosophy is subclass of field of study ⇐ (branch of philosophy is subclass of academic discipline), (academic discipline is subclass of field of study), (is subclass of is a transitive relation)
- branch of philosophy is a field of study ⇐ (academic discipline is subclass of field of study), (branch of philosophy is a academic discipline)
- agnosticism is a branch of philosophy ⇐ (metaphysics is a branch of philosophy), (metaphysics is opposite of agnosticism)