Deductions
- social philosophy is for example antiliberalism ⇐ (antiliberalism is a social philosophy), (is a is inverse of is for example)
- social philosophy is for example liberalism ⇐ (liberalism is a social philosophy), (is a is inverse of is for example)
- social philosophy has quality class ⇐ (type of property is subclass of class), (social philosophy has quality type of property)
- social philosophy has quality class ⇐ (social philosophy is subclass of philosophy), (philosophy has quality class)
- social philosophy has quality metaclass ⇐ (social philosophy is subclass of philosophy), (philosophy has quality metaclass)
- social philosophy has quality interaction ⇐ (social philosophy is subclass of philosophy), (philosophy has quality interaction)
- antiliberalism is a social philosophy ⇐ (liberalism is a social philosophy), (liberalism is opposite of antiliberalism)
- liberalism is a social philosophy ⇐ (conservatism is a social philosophy), (conservatism is opposite of liberalism)
- branch of philosophy is for example social philosophy ⇐ (social philosophy is a branch of philosophy), (is a is inverse of is for example)
- social philosophy has part ontology ⇐ (social philosophy is subclass of philosophy), (philosophy has part ontology)
- social philosophy has quality criterion ⇐ (social philosophy is subclass of philosophy), (philosophy has quality criterion)
- social philosophy has quality quality ⇐ (social philosophy is subclass of philosophy), (philosophy has quality quality)
- social philosophy has quality interdisciplinarity ⇐ (social philosophy is subclass of philosophy), (philosophy has quality interdisciplinarity)
- social philosophy has quality philosophical concept ⇐ (social philosophy is subclass of philosophy), (philosophy has quality philosophical concept)
- social philosophy has quality metaclass ⇐ (social philosophy is subclass of philosophy), (philosophy has quality metaclass)
- social philosophy has quality BFO class ⇐ (social philosophy is subclass of philosophy), (philosophy has quality BFO class)
- social philosophy has quality occurrence ⇐ (social philosophy is subclass of philosophy), (philosophy has quality occurrence)
- social philosophy has quality entity ⇐ (social philosophy is subclass of philosophy), (philosophy has quality entity)
- social philosophy has quality type of property ⇐ (social philosophy is subclass of philosophy), (philosophy has quality type of property)
- social philosophy has quality property ⇐ (social philosophy is subclass of philosophy), (philosophy has quality property)
- social philosophy has quality class ⇐ (social philosophy is subclass of philosophy), (philosophy has quality class)
- social philosophy has quality occurrent ⇐ (social philosophy is subclass of philosophy), (philosophy has quality occurrent)
- social philosophy has quality abstract entity ⇐ (social philosophy is subclass of philosophy), (philosophy has quality abstract entity)
- social philosophy has quality effect ⇐ (social philosophy is subclass of philosophy), (philosophy has quality effect)
- social philosophy has quality type of object ⇐ (social philosophy is subclass of philosophy), (philosophy has quality type of object)
- social philosophy has quality action ⇐ (social philosophy is subclass of philosophy), (philosophy has quality action)
- social philosophy has quality existence ⇐ (social philosophy is subclass of philosophy), (philosophy has quality existence)
- social philosophy has quality interaction ⇐ (social philosophy is subclass of philosophy), (philosophy has quality interaction)
- social philosophy is for example conservatism ⇐ (conservatism is a social philosophy), (is a is inverse of is for example)