Major religious groups

Deductions

• type is for example Major religious groups ⇐ (Major religious groups is a type), (is a is inverse of is for example)
• Major religious groups is a type ⇐ (religion type is subclass of type), (Major religious groups is a religion type)
• Major religious groups has part list of saints ⇐ (Major religious groups is subclass of religion), (religion has part list of saints)
• religion type is for example Major religious groups ⇐ (Major religious groups is a religion type), (is a is inverse of is for example)
• Major religious groups is for example Christianity ⇐ (Christianity is a Major religious groups), (is a is inverse of is for example)