Deductions
- atheism has quality class ⇐ (quality is a class), (atheism has quality quality)
- atheism has quality condition type ⇐ (mental state is a condition type), (atheism has quality mental state)
- atheism has quality occurrent ⇐ (unbelief is a occurrent), (atheism has quality unbelief)
- atheism has quality abstract entity ⇐ (type is a abstract entity), (atheism has quality type)
- atheism has part branch of philosophy ⇐ (philosophy of religion is a branch of philosophy), (atheism has part philosophy of religion)
- atheism is subclass of mental state ⇐ (theism is subclass of mental state), (theism is opposite of atheism)
- atheism is subclass of belief ⇐ (theism is subclass of belief), (theism is opposite of atheism)
- atheism has quality entity ⇐ (taxonomic rank is a entity), (atheism has quality taxonomic rank)
- atheism has quality mental state ⇐ (unbelief is a mental state), (atheism has quality unbelief)
- atheism has part system ⇐ (philosophy of religion is a system), (atheism has part philosophy of religion)
- atheism has quality class ⇐ (type of property is a class), (atheism has quality type of property)
- atheism has quality existence ⇐ (atheism is subclass of occurrence), (occurrence has quality existence)
- atheism has quality spatio-temporal entity ⇐ (atheism is subclass of occurrence), (occurrence has quality spatio-temporal entity)
- atheism has quality type of object ⇐ (atheism is subclass of occurrence), (occurrence has quality type of object)
- atheism has quality temporal entity ⇐ (atheism is subclass of occurrence), (occurrence has quality temporal entity)
- atheism has quality quality ⇐ (atheism is subclass of occurrence), (occurrence has quality quality)
- atheism has quality object ⇐ (atheism is subclass of occurrence), (occurrence has quality object)
- atheism has quality type of property ⇐ (atheism is subclass of occurrence), (occurrence has quality type of property)
- atheism has quality taxonomic rank ⇐ (atheism is subclass of occurrence), (occurrence has quality taxonomic rank)
- atheism has quality impermanence ⇐ (atheism is subclass of occurrence), (occurrence has quality impermanence)
- atheism has quality type ⇐ (atheism is subclass of occurrence), (occurrence has quality type)
- atheism has quality superclass ⇐ (atheism is subclass of occurrence), (occurrence has quality superclass)
- atheism has quality point in time ⇐ (atheism is subclass of spatio-temporal entity), (spatio-temporal entity has quality point in time)
- atheism has part philosophy of religion ⇐ (Marxist‒Leninist atheism is a philosophy of religion), (atheism has part Marxist‒Leninist atheism)
- world view is for example atheism ⇐ (atheism is a world view), (is a is inverse of is for example)
- atheism is subclass of spatio-temporal entity ⇐ (theism is subclass of spatio-temporal entity), (theism is opposite of atheism)
- atheism is subclass of occurrence ⇐ (theism is subclass of occurrence), (theism is opposite of atheism)
- atheism is subclass of object ⇐ (theism is subclass of object), (theism is opposite of atheism)
- atheism is subclass of occurrent ⇐ (theism is subclass of occurrent), (theism is opposite of atheism)
- atheism is subclass of entity ⇐ (atheism is subclass of irreligion), (irreligion is subclass of entity), (is subclass of is a transitive relation)
- atheism is subclass of structure ⇐ (atheism is subclass of irreligion), (irreligion is subclass of structure), (is subclass of is a transitive relation)
- atheism is subclass of collective entity ⇐ (atheism is subclass of irreligion), (irreligion is subclass of collective 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)
- atheism has quality doxastic attitude ⇐ (unbelief is a doxastic attitude), (atheism has quality unbelief)