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