Deductions
- counter-revolution is subclass of social change ⇐ (revolution is subclass of social change), (revolution is opposite of counter-revolution)
- social change is for example religiosity ⇐ (religiosity is a social change), (is a is inverse of is for example)
- social change is for example irreligion ⇐ (irreligion is a social change), (is a is inverse of is for example)
- social change is subclass of occurrent ⇐ (social change is subclass of culture change), (culture change is subclass of occurrent), (is subclass of is a transitive relation)
- social change is subclass of spatio-temporal entity ⇐ (social change is subclass of culture change), (culture change is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- social change is subclass of object ⇐ (social change is subclass of culture change), (culture change is subclass of object), (is subclass of is a transitive relation)
- social change is subclass of entity ⇐ (social change is subclass of culture change), (culture change is subclass of entity), (is subclass of is a transitive relation)
- social change is subclass of change ⇐ (social change is subclass of culture change), (culture change is subclass of change), (is subclass of is a transitive relation)
- religiosity is a social change ⇐ (irreligion is a social change), (irreligion is opposite of religiosity)