Deductions
- belief has quality abstract entity ⇐ (type is a abstract entity), (belief has quality type)
- metaphysics is subclass of belief ⇐ (agnosticism is subclass of belief), (agnosticism is opposite of metaphysics)
- atheism is subclass of belief ⇐ (theism is subclass of belief), (theism is opposite of atheism)
- belief is subclass of absence ⇐ (unbelief is subclass of absence), (unbelief is opposite of belief)
- belief has quality entity ⇐ (taxonomic rank is a entity), (belief has quality taxonomic rank)
- belief has quality class ⇐ (type of property is subclass of class), (belief has quality type of property)
- unbelief is subclass of belief ⇐ (faith is subclass of belief), (faith is opposite of unbelief)
- belief has quality class ⇐ (type of property is a class), (belief has quality type of property)
- atheist has quality belief ⇐ (atheist is subclass of believer), (believer has quality belief)
- belief has quality type of property ⇐ (belief is subclass of condition), (condition has quality type of property)
- belief has quality criterion ⇐ (belief is subclass of condition), (condition has quality criterion)
- belief has quality taxonomic rank ⇐ (belief is subclass of condition), (condition has quality taxonomic rank)
- belief has quality subjective quality ⇐ (belief is subclass of condition), (condition has quality subjective quality)
- belief has quality property ⇐ (belief is subclass of condition), (condition has quality property)
- belief has quality superclass ⇐ (belief is subclass of condition), (condition has quality superclass)
- belief has quality type ⇐ (belief is subclass of condition), (condition has quality type)
- belief has quality quality ⇐ (belief is subclass of condition), (condition has quality quality)
- belief has quality social science concept ⇐ (belief is subclass of condition), (condition has quality social science concept)
- belief has quality desirability ⇐ (belief is subclass of condition), (condition has quality desirability)
- belief has quality value ⇐ (belief is subclass of condition), (condition has quality value)
- belief has quality observation ⇐ (belief is subclass of phenomenon), (phenomenon has quality observation)
- anti-Christian has quality belief ⇐ (anti-Christian is subclass of believer), (believer has quality belief)
- doxastic attitude is for example belief ⇐ (belief is a doxastic attitude), (is a is inverse of is for example)
- belief is subclass of phenomenon ⇐ (unbelief is subclass of phenomenon), (unbelief is opposite of belief)
- belief is subclass of condition ⇐ (unbelief is subclass of condition), (unbelief is opposite of belief)
- belief is subclass of state ⇐ (unbelief is subclass of state), (unbelief is opposite of belief)
- belief is subclass of entity ⇐ (belief is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- belief is subclass of occurrent ⇐ (belief is subclass of occurrence), (occurrence is subclass of occurrent), (is subclass of is a transitive relation)
- belief is subclass of object ⇐ (belief is subclass of occurrence), (occurrence is subclass of object), (is subclass of is a transitive relation)
- belief is subclass of spatio-temporal entity ⇐ (belief is subclass of occurrence), (occurrence is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- belief is subclass of occurrence ⇐ (belief is subclass of mental state), (mental state is subclass of occurrence), (is subclass of is a transitive relation)
- belief is a doxastic attitude ⇐ (unbelief is a doxastic attitude), (unbelief is opposite of belief)