Deductions
- Western Christianity has quality religious belief ⇐ (monotheism is a religious belief), (Western Christianity has quality monotheism)
- Western Christianity has quality theism ⇐ (monotheism is subclass of theism), (Western Christianity has quality monotheism)
- Western Christianity has quality monotheism ⇐ (Western Christianity is subclass of monotheistic religion), (monotheistic religion has quality monotheism)
- Christian denominational family is for example Western Christianity ⇐ (Western Christianity is a Christian denominational family), (is a is inverse of is for example)
- Western Christianity is subclass of monotheistic religion ⇐ (Western Christianity is subclass of Abrahamic religion), (Abrahamic religion is subclass of monotheistic religion), (is subclass of is a transitive relation)
- Western Christianity is subclass of Abrahamic religion ⇐ (Western Christianity is subclass of Christianity), (Christianity is subclass of Abrahamic religion), (is subclass of is a transitive relation)
- Methodism is subclass of Western Christianity ⇐ (Methodism is subclass of Protestantism), (Protestantism is subclass of Western Christianity), (is subclass of is a transitive relation)