Deductions
- social structure has quality class ⇐ (existence is a class), (social structure has quality existence)
- social structure is for example Judaism ⇐ (Judaism is a social structure), (is a is inverse of is for example)
- social structure is for example Christianity ⇐ (Christianity is a social structure), (is a is inverse of is for example)
- Christianity is a social structure ⇐ (religion is subclass of social structure), (Christianity is a religion)
- Judaism is a social structure ⇐ (religion is subclass of social structure), (Judaism is a religion)
- religion is subclass of social structure ⇐ (antireligion is subclass of social structure), (antireligion is opposite of religion)
- religiosity is subclass of social structure ⇐ (irreligion is subclass of social structure), (irreligion is opposite of religiosity)
- social structure has quality entity ⇐ (taxonomic rank is a entity), (social structure has quality taxonomic rank)
- entity is for example social structure ⇐ (social structure is a entity), (is a is inverse of is for example)
- abstract entity is for example social structure ⇐ (social structure is a abstract entity), (is a is inverse of is for example)
- theism is subclass of social structure ⇐ (atheism is subclass of social structure), (atheism is opposite of theism)
- social structure has quality taxonomic rank ⇐ (social structure is a abstract entity), (abstract entity has quality taxonomic rank)
- social structure has quality superclass ⇐ (social structure is a abstract entity), (abstract entity has quality superclass)
- social structure has quality existence ⇐ (social structure is a abstract entity), (abstract entity has quality existence)
- social structure is a entity ⇐ (class is subclass of entity), (social structure is a class)
- social structure is a abstract entity ⇐ (type of structure is subclass of abstract entity), (social structure is a type of structure)
- class is for example social structure ⇐ (social structure is a class), (is a is inverse of is for example)
- type of structure is for example social structure ⇐ (social structure is a type of structure), (is a is inverse of is for example)
- type is for example social structure ⇐ (social structure is a type), (is a is inverse of is for example)
- social structure is subclass of entity ⇐ (social structure is subclass of structure), (structure is subclass of entity), (is subclass of is a transitive relation)
- atheism is subclass of social structure ⇐ (atheism is subclass of irreligion), (irreligion is subclass of social structure), (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)
- social structure is subclass of collective entity ⇐ (social structure is subclass of structure), (structure is subclass of collective entity), (is subclass of is a transitive relation)
- social structure is a class ⇐ (type is subclass of class), (social structure is a type)
- social structure is a type ⇐ (type of structure is subclass of type), (social structure is a type of structure)
- atheist has quality social structure ⇐ (irreligion is subclass of social structure), (atheist has quality irreligion)