Abrahamic religion

Deductions

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