Deductions
- spatio-temporal entity is for example monotheism ⇐ (monotheism is a spatio-temporal entity), (is a is inverse of is for example)
- object is for example monotheism ⇐ (monotheism is a object), (is a is inverse of is for example)
- absence is for example monotheism ⇐ (monotheism is a absence), (is a is inverse of is for example)
- monotheism is a absence ⇐ (faith is subclass of absence), (monotheism is a faith)
- monotheism is a spatio-temporal entity ⇐ (faith is subclass of spatio-temporal entity), (monotheism is a faith)
- monotheism is a object ⇐ (faith is subclass of object), (monotheism is a faith)
- faith is for example monotheism ⇐ (monotheism is a faith), (is a is inverse of is for example)
- religious belief is for example monotheism ⇐ (monotheism is a religious belief), (is a is inverse of is for example)
- monotheism is a faith ⇐ (religious belief is subclass of faith), (monotheism is a religious belief)
- Western Christianity has quality monotheism ⇐ (Western Christianity is subclass of monotheistic religion), (monotheistic religion has quality monotheism)
- Methodism has quality monotheism ⇐ (Methodism is subclass of Christianity), (Christianity has quality monotheism)