Deductions
- theism has quality class ⇐ (quality is a class), (theism has quality quality)
- theism has quality abstract entity ⇐ (type is a abstract entity), (theism has quality type)
- theism is subclass of irreligion ⇐ (atheism is subclass of irreligion), (atheism is opposite of theism)
- theism is subclass of entity ⇐ (atheism is subclass of entity), (atheism is opposite of theism)
- theism has quality entity ⇐ (taxonomic rank is a entity), (theism has quality taxonomic rank)
- theism is subclass of social structure ⇐ (atheism is subclass of social structure), (atheism is opposite of theism)
- polytheism is subclass of theism ⇐ (monotheism is subclass of theism), (monotheism is opposite of polytheism)
- theism has quality class ⇐ (type of property is a class), (theism has quality type of property)
- Abrahamic religion has quality theism ⇐ (monotheism is subclass of theism), (Abrahamic religion has quality monotheism)
- Methodism has quality theism ⇐ (monotheism is subclass of theism), (Methodism has quality monotheism)
- monotheistic religion has quality theism ⇐ (monotheism is subclass of theism), (monotheistic religion has quality monotheism)
- Christianity has quality theism ⇐ (monotheism is subclass of theism), (Christianity has quality monotheism)
- Judaism has quality theism ⇐ (monotheism is subclass of theism), (Judaism has quality monotheism)
- Western Christianity has quality theism ⇐ (monotheism is subclass of theism), (Western Christianity has quality monotheism)
- theism has quality spatio-temporal entity ⇐ (theism is subclass of occurrence), (occurrence has quality spatio-temporal entity)
- theism has quality temporal entity ⇐ (theism is subclass of occurrence), (occurrence has quality temporal entity)
- theism has quality quality ⇐ (theism is subclass of occurrence), (occurrence has quality quality)
- theism has quality object ⇐ (theism is subclass of occurrence), (occurrence has quality object)
- theism has quality point in time ⇐ (theism is subclass of occurrence), (occurrence has quality point in time)
- theism has quality type of property ⇐ (theism is subclass of occurrence), (occurrence has quality type of property)
- theism has quality taxonomic rank ⇐ (theism is subclass of occurrence), (occurrence has quality taxonomic rank)
- theism has quality impermanence ⇐ (theism is subclass of occurrence), (occurrence has quality impermanence)
- theism has quality superclass ⇐ (theism is subclass of occurrence), (occurrence has quality superclass)
- theism has quality type of object ⇐ (theism is subclass of object), (object has quality type of object)
- theism has quality type ⇐ (theism is subclass of object), (object has quality type)
- theism has quality existence ⇐ (theism is subclass of object), (object has quality existence)
- world view is for example theism ⇐ (theism is a world view), (is a is inverse of is for example)
- theism is subclass of structure ⇐ (atheism is subclass of structure), (atheism is opposite of theism)
- theism is subclass of occurrent ⇐ (theism is subclass of belief), (belief is subclass of occurrent), (is subclass of is a transitive relation)
- theism is subclass of object ⇐ (theism is subclass of belief), (belief is subclass of object), (is subclass of is a transitive relation)
- theism is subclass of spatio-temporal entity ⇐ (theism is subclass of belief), (belief is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- theism is subclass of mental state ⇐ (theism is subclass of belief), (belief is subclass of mental state), (is subclass of is a transitive relation)
- theism is subclass of occurrence ⇐ (theism is subclass of belief), (belief is subclass of occurrence), (is subclass of is a transitive relation)