Deductions
- conservatism is a philosophy ⇐ (political philosophy is subclass of philosophy), (conservatism is a political philosophy)
- philosophy is for example antiliberalism ⇐ (antiliberalism is a philosophy), (is a is inverse of is for example)
- philosophy is for example liberalism ⇐ (liberalism is a philosophy), (is a is inverse of is for example)
- liberalism is a philosophy ⇐ (political philosophy is subclass of philosophy), (liberalism is a political philosophy)
- antiliberalism is a philosophy ⇐ (political philosophy is subclass of philosophy), (antiliberalism is a political philosophy)
- philosophy is for example conservatism ⇐ (conservatism is a philosophy), (is a is inverse of is for example)
- conservatism is a philosophy ⇐ (social philosophy is subclass of philosophy), (conservatism is a social philosophy)
- metaphysics is part of philosophy ⇐ (metaphysics is part of theoretical philosophy), (theoretical philosophy is part of philosophy), (is part of is a transitive relation)
- philosophy has quality class ⇐ (quality is a class), (philosophy has quality quality)
- philosophy has quality class ⇐ (type of property is a class), (philosophy has quality type of property)
- philosophy has quality type of object ⇐ (abstract entity is a type of object), (philosophy has quality abstract entity)
- philosophy has quality effect ⇐ (philosophy is subclass of system), (system has quality effect)
- philosophy has quality type of property ⇐ (philosophy is subclass of system), (system has quality type of property)
- philosophy has quality metaclass ⇐ (philosophy is subclass of system), (system has quality metaclass)
- philosophy has quality BFO class ⇐ (philosophy is subclass of system), (system has quality BFO class)
- philosophy has quality interaction ⇐ (philosophy is subclass of system), (system has quality interaction)
- philosophy has quality criterion ⇐ (philosophy is subclass of system), (system has quality criterion)
- philosophy has quality quality ⇐ (philosophy is subclass of system), (system has quality quality)
- philosophy has quality occurrence ⇐ (philosophy is subclass of system), (system has quality occurrence)
- philosophy has quality philosophical concept ⇐ (philosophy is subclass of system), (system has quality philosophical concept)
- philosophy has quality occurrent ⇐ (philosophy is subclass of system), (system has quality occurrent)
- philosophy has quality action ⇐ (philosophy is subclass of system), (system has quality action)
- philosophy has quality existence ⇐ (philosophy is subclass of system), (system has quality existence)
- field of study is for example philosophy ⇐ (philosophy is a field of study), (is a is inverse of is for example)
- academic discipline is for example philosophy ⇐ (philosophy is a academic discipline), (is a is inverse of is for example)
- philosophy is subclass of collective entity ⇐ (philosophy is subclass of conceptual system), (conceptual system is subclass of collective entity), (is subclass of is a transitive relation)
- philosophy is subclass of system ⇐ (philosophy is subclass of conceptual system), (conceptual system is subclass of system), (is subclass of is a transitive relation)
- philosophy is subclass of entity ⇐ (philosophy is subclass of conceptual system), (conceptual system is subclass of entity), (is subclass of is a transitive relation)
- philosophy is subclass of conceptual system ⇐ (philosophy is subclass of knowledge system), (knowledge system is subclass of conceptual system), (is subclass of is a transitive relation)
- philosophy is a field of study ⇐ (academic discipline is subclass of field of study), (philosophy is a academic discipline)
- philosophy has quality entity ⇐ (abstract entity is subclass of entity), (philosophy has quality abstract entity)
- philosophy has quality abstract entity ⇐ (property is subclass of abstract entity), (philosophy has quality property)
- philosophy has quality property ⇐ (interdisciplinarity is subclass of property), (philosophy has quality interdisciplinarity)