Deductions
- irreligion has quality type of property ⇐ (irreligion has quality mathematical object), (mathematical object has quality type of property), (has quality is a transitive relation)
- irreligion has quality class ⇐ (irreligion has quality mathematical object), (mathematical object has quality class), (has quality is a transitive relation)
- irreligion has quality quality ⇐ (irreligion has quality mathematical object), (mathematical object has quality quality), (has quality is a transitive relation)
- irreligion has quality mathematical property ⇐ (irreligion has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- irreligion has quality property ⇐ (irreligion has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
- irreligion has quality set ⇐ (irreligion has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- irreligion has quality relation ⇐ (irreligion has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- irreligion has quality criterion ⇐ (irreligion has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
- irreligion has quality class ⇐ (subset is subclass of class), (irreligion has quality subset)
- irreligion has quality binary relation ⇐ (subclass is a binary relation), (irreligion has quality subclass)
- irreligion has quality superclass ⇐ (irreligion has quality subset), (subset has quality superclass), (has quality is a transitive relation)
- irreligion has quality mathematical object ⇐ (irreligion has quality subset), (subset has quality mathematical object), (has quality is a transitive relation)
- irreligion has quality arity ⇐ (irreligion has quality subset), (subset has quality arity), (has quality is a transitive relation)
- irreligion has quality taxonomic rank ⇐ (irreligion has quality subset), (subset has quality taxonomic rank), (has quality is a transitive relation)
- irreligion has quality number of entities ⇐ (irreligion has quality subset), (subset has quality number of entities), (has quality is a transitive relation)
- irreligion has quality subclass ⇐ (subset is subclass of subclass), (irreligion has quality subset)
- irreligion has quality subset ⇐ (difference is subclass of subset), (irreligion has quality difference)
- irreligion has quality class ⇐ (abstract entity is a class), (irreligion has quality abstract entity)
- irreligion has quality abstract entity ⇐ (type is a abstract entity), (irreligion has quality type)
- theism is subclass of irreligion ⇐ (atheism is subclass of irreligion), (atheism is opposite of theism)
- irreligion is subclass of spirituality ⇐ (religiosity is subclass of spirituality), (religiosity is opposite of irreligion)
- irreligion has quality entity ⇐ (type is a entity), (irreligion has quality type)
- entity is for example irreligion ⇐ (irreligion is a entity), (is a is inverse of is for example)
- occurrent is for example irreligion ⇐ (irreligion is a occurrent), (is a is inverse of is for example)
- spatio-temporal entity is for example irreligion ⇐ (irreligion is a spatio-temporal entity), (is a is inverse of is for example)
- object is for example irreligion ⇐ (irreligion is a object), (is a is inverse of is for example)
- irreligion has quality point in time ⇐ (irreligion is a spatio-temporal entity), (spatio-temporal entity has quality point in time)
- irreligion has quality existence ⇐ (irreligion is a object), (object has quality existence)
- irreligion has quality type ⇐ (irreligion is a object), (object has quality type)
- irreligion has quality type of object ⇐ (irreligion is a object), (object has quality type of object)
- irreligion is a entity ⇐ (social change is subclass of entity), (irreligion is a social change)
- irreligion is a object ⇐ (social change is subclass of object), (irreligion is a social change)
- irreligion is a spatio-temporal entity ⇐ (social change is subclass of spatio-temporal entity), (irreligion is a social change)
- irreligion is a occurrent ⇐ (social change is subclass of occurrent), (irreligion is a social change)
- culture change is for example irreligion ⇐ (irreligion is a culture 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)
- change is for example irreligion ⇐ (irreligion is a change), (is a is inverse of is for example)
- irreligion has quality difference ⇐ (irreligion is a change), (change has quality difference)
- irreligion is subclass of entity ⇐ (irreligion is subclass of collective entity), (collective entity is subclass of entity), (is subclass of is a transitive relation)
- irreligion is subclass of collective entity ⇐ (irreligion is subclass of social structure), (social structure is subclass of collective entity), (is subclass of is a transitive relation)
- irreligion is subclass of structure ⇐ (irreligion is subclass of social structure), (social structure is subclass of structure), (is subclass of is a transitive relation)
- irreligion is a change ⇐ (culture change is subclass of change), (irreligion is a culture change)
- irreligion is a culture change ⇐ (social change is subclass of culture change), (irreligion is a social change)
- atheist has quality irreligion ⇐ (atheism is subclass of irreligion), (atheist has quality atheism)