Deductions
- religion has quality class ⇐ (abstract entity is a class), (religion has quality abstract entity)
- religion is subclass of structure ⇐ (religion is subclass of social structure), (social structure is subclass of structure), (is subclass of is a transitive relation)
- religion has quality abstract entity ⇐ (type is a abstract entity), (religion has quality type)
- religion is subclass of social structure ⇐ (antireligion is subclass of social structure), (antireligion is opposite of religion)
- religion has quality entity ⇐ (taxonomic rank is a entity), (religion has quality taxonomic rank)
- abstract entity is for example religion ⇐ (religion is a abstract entity), (is a is inverse of is for example)
- entity is for example religion ⇐ (religion is a entity), (is a is inverse of is for example)
- world view is for example religion ⇐ (religion is a world view), (is a is inverse of is for example)
- religion is for example Christianity ⇐ (Christianity is a religion), (is a is inverse of is for example)
- religion has quality class ⇐ (religion is a world view), (world view has quality class)
- religion has quality type of object ⇐ (religion is a world view), (world view has quality type of object)
- religion has quality type ⇐ (religion is a world view), (world view has quality type)
- religion has quality type of world view ⇐ (religion is a world view), (world view has quality type of world view)
- religion has quality superclass ⇐ (religion is a class), (class has quality superclass)
- religion has quality taxonomic rank ⇐ (religion is a class), (class has quality taxonomic rank)
- religion is a class ⇐ (type of world view is subclass of class), (religion is a type of world view)
- religion is a abstract entity ⇐ (type of world view is subclass of abstract entity), (religion is a type of world view)
- religion is a entity ⇐ (type of world view is subclass of entity), (religion is a type of world view)
- Christianity is a religion ⇐ (Major religious groups is subclass of religion), (Christianity is a Major religious groups)
- religion has quality existence ⇐ (religion is subclass of collective entity), (collective entity has quality existence)
- religion is a world view ⇐ (antireligion is a world view), (antireligion is opposite of religion)
- type of world view is for example religion ⇐ (religion is a type of world view), (is a is inverse of is for example)
- class is for example religion ⇐ (religion is a class), (is a is inverse of is for example)
- religion is for example Judaism ⇐ (Judaism is a religion), (is a is inverse of is for example)
- type is for example religion ⇐ (religion is a type), (is a is inverse of is for example)
- religion is subclass of collective entity ⇐ (antireligion is subclass of collective entity), (antireligion is opposite of religion)
- polytheistic religion is subclass of religion ⇐ (monotheistic religion is subclass of religion), (monotheistic religion is opposite of polytheistic religion)
- religion is subclass of entity ⇐ (antireligion is subclass of entity), (antireligion is opposite of religion)
- religion is a class ⇐ (type is subclass of class), (religion is a type)
- religion is a type ⇐ (type of world view is subclass of type), (religion is a type of world view)