Deductions
- religion type has quality class ⇐ (quality is a class), (religion type has quality quality)
- religion type has quality abstract entity ⇐ (type is a abstract entity), (religion type has quality type)
- religion type has quality entity ⇐ (type is a entity), (religion type has quality type)
- metaclass is for example religion type ⇐ (religion type is a metaclass), (is a is inverse of is for example)
- entity is for example religion type ⇐ (religion type is a entity), (is a is inverse of is for example)
- religion type has quality existence ⇐ (religion type is a entity), (entity has quality existence)
- religion type is a entity ⇐ (metaclass is subclass of entity), (religion type is a metaclass)
- religion type has quality type ⇐ (criterion is a type), (religion type has quality criterion)
- religion type has quality class ⇐ (type of property is a class), (religion type has quality type of property)
- religion type has quality type of property ⇐ (religion type is subclass of type), (type has quality type of property)
- religion type has quality criterion ⇐ (religion type is subclass of type), (type has quality criterion)
- religion type has quality quality ⇐ (religion type is subclass of type), (type has quality quality)
- religion type has quality property ⇐ (religion type is subclass of type), (type has quality property)
- religion type is for example monotheistic religion ⇐ (monotheistic religion is a religion type), (is a is inverse of is for example)
- religion type is for example Major religious groups ⇐ (Major religious groups is a religion type), (is a is inverse of is for example)
- religion type is for example Abrahamic religion ⇐ (Abrahamic religion is a religion type), (is a is inverse of is for example)
- religion type is for example polytheistic religion ⇐ (polytheistic religion is a religion type), (is a is inverse of is for example)