Deductions
- atheist has quality type of property ⇐ (atheist has quality type of object), (type of object has quality type of property), (has quality is a transitive relation)
- atheist has quality quality ⇐ (atheist has quality type of object), (type of object has quality quality), (has quality is a transitive relation)
- atheist has quality property ⇐ (atheist has quality type of object), (type of object has quality property), (has quality is a transitive relation)
- atheist has quality criterion ⇐ (atheist has quality type of object), (type of object has quality criterion), (has quality is a transitive relation)
- atheist has quality class ⇐ (atheist has quality type of object), (type of object has quality class), (has quality is a transitive relation)
- atheist has quality type ⇐ (atheist has quality object), (object has quality type), (has quality is a transitive relation)
- atheist has quality type of object ⇐ (atheist has quality object), (object has quality type of object), (has quality is a transitive relation)
- atheist has quality existence ⇐ (atheist has quality object), (object has quality existence), (has quality is a transitive relation)
- atheist has quality class ⇐ (abstract entity is a class), (atheist has quality abstract entity)
- atheist has quality condition type ⇐ (mental state is a condition type), (atheist has quality mental state)
- atheist has quality existence ⇐ (atheist has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- atheist has quality superclass ⇐ (atheist has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- atheist has quality taxonomic rank ⇐ (atheist has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- atheist has quality estimation ⇐ (change is a estimation), (atheist has quality change)
- atheist has quality occurrent ⇐ (irreligion is a occurrent), (atheist has quality irreligion)
- atheist has quality spatio-temporal entity ⇐ (irreligion is a spatio-temporal entity), (atheist has quality irreligion)
- atheist has quality object ⇐ (irreligion is a object), (atheist has quality irreligion)
- atheist has quality abstract entity ⇐ (social structure is a abstract entity), (atheist has quality social structure)
- atheist has quality mental state ⇐ (unbelief is a mental state), (atheist has quality unbelief)
- atheist has quality entity ⇐ (irreligion is subclass of entity), (atheist has quality irreligion)
- atheist has quality change ⇐ (irreligion is a change), (atheist has quality irreligion)
- atheist has quality belief ⇐ (atheist is subclass of believer), (believer has quality belief)
- religious identity is for example atheist ⇐ (atheist is a religious identity), (is a is inverse of is for example)
- atheist is opposite of believer ⇐ believer is opposite of atheist
- atheist is subclass of believer ⇐ (theist is subclass of believer), (theist is opposite of atheist)
- atheist has quality unbelief ⇐ (atheist has quality atheism), (atheism has quality unbelief), (has quality is a transitive relation)
- atheist has quality doxastic attitude ⇐ (atheist has quality atheism), (atheism has quality doxastic attitude), (has quality is a transitive relation)
- atheist has quality type of structure ⇐ (social structure is a type of structure), (atheist has quality social structure)
- atheist has quality social structure ⇐ (irreligion is subclass of social structure), (atheist has quality irreligion)
- atheist has quality irreligion ⇐ (atheism is subclass of irreligion), (atheist has quality atheism)