Deductions
- antireligion has quality class ⇐ (existence is a class), (antireligion has quality existence)
- antireligion has quality entity ⇐ (taxonomic rank is a entity), (antireligion has quality taxonomic rank)
- abstract entity is for example antireligion ⇐ (antireligion is a abstract entity), (is a is inverse of is for example)
- entity is for example antireligion ⇐ (antireligion is a entity), (is a is inverse of is for example)
- antireligion has quality taxonomic rank ⇐ (antireligion is a abstract entity), (abstract entity has quality taxonomic rank)
- antireligion has quality superclass ⇐ (antireligion is a abstract entity), (abstract entity has quality superclass)
- antireligion has quality existence ⇐ (antireligion is a entity), (entity has quality existence)
- antireligion is a class ⇐ (type of world view is subclass of class), (antireligion is a type of world view)
- antireligion is a abstract entity ⇐ (type of world view is subclass of abstract entity), (antireligion is a type of world view)
- antireligion is a entity ⇐ (type of world view is subclass of entity), (antireligion is a type of world view)
- class is for example antireligion ⇐ (antireligion is a class), (is a is inverse of is for example)
- type of world view is for example antireligion ⇐ (antireligion is a type of world view), (is a is inverse of is for example)
- world view is for example antireligion ⇐ (antireligion is a world view), (is a is inverse of is for example)
- type is for example antireligion ⇐ (antireligion is a type), (is a is inverse of is for example)
- antireligion is subclass of entity ⇐ (antireligion is subclass of irreligion), (irreligion is subclass of entity), (is subclass of is a transitive relation)
- antireligion is subclass of structure ⇐ (antireligion is subclass of social structure), (social structure is subclass of structure), (is subclass of is a transitive relation)
- antireligion is subclass of collective entity ⇐ (antireligion is subclass of social structure), (social structure is subclass of collective entity), (is subclass of is a transitive relation)
- antireligion is subclass of social structure ⇐ (antireligion is subclass of irreligion), (irreligion is subclass of social structure), (is subclass of is a transitive relation)
- antireligion is a class ⇐ (type is subclass of class), (antireligion is a type)
- antireligion is a type ⇐ (type of world view is subclass of type), (antireligion is a type of world view)
- antireligion is a type of world view ⇐ (religion is a type of world view), (religion is opposite of antireligion)