theoretical philosophy
Deductions
- branch of philosophy is for example theoretical philosophy ⇐ (theoretical philosophy is a branch of philosophy), (is a is inverse of is for example)
- category of being is part of theoretical philosophy ⇐ (category of being is part of ontology), (ontology is part of theoretical philosophy), (is part of is a transitive relation)
- ontology is part of theoretical philosophy ⇐ (ontology is part of metaphysics), (metaphysics is part of theoretical philosophy), (is part of is a transitive relation)