Deductions
- type is for example monotheistic religion ⇐ (monotheistic religion is a type), (is a is inverse of is for example)
- monotheistic religion is a type ⇐ (religion type is subclass of type), (monotheistic religion is a religion type)
- monotheistic religion has quality religious belief ⇐ (monotheism is a religious belief), (monotheistic religion has quality monotheism)
- monotheistic religion has quality theism ⇐ (monotheism is subclass of theism), (monotheistic religion has quality monotheism)
- religion type is for example monotheistic religion ⇐ (monotheistic religion is a religion type), (is a is inverse of is for example)
- Methodism is subclass of monotheistic religion ⇐ (Methodism is subclass of Western Christianity), (Western Christianity is subclass of monotheistic religion), (is subclass of is a transitive relation)
- 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)
- Christianity is subclass of monotheistic religion ⇐ (Christianity is subclass of Abrahamic religion), (Abrahamic religion is subclass of monotheistic religion), (is subclass of is a transitive relation)