Deductions
- faith is subclass of entity ⇐ (faith is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- faith has quality class ⇐ (quality is a class), (faith has quality quality)
- faith has quality class ⇐ (faith has quality type), (type has quality class), (has quality is a transitive relation)
- faith has quality quality ⇐ (faith has quality type), (type has quality quality), (has quality is a transitive relation)
- faith has quality type of property ⇐ (faith has quality type), (type has quality type of property), (has quality is a transitive relation)
- faith has quality criterion ⇐ (faith has quality type), (type has quality criterion), (has quality is a transitive relation)
- faith has quality property ⇐ (faith has quality type), (type has quality property), (has quality is a transitive relation)
- faith has quality superclass ⇐ (faith has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- faith has quality taxonomic rank ⇐ (faith has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- faith has quality abstract entity ⇐ (type is a abstract entity), (faith has quality type)
- faith has quality type ⇐ (faith is subclass of object), (object has quality type)
- faith has quality type of object ⇐ (faith is subclass of object), (object has quality type of object)
- faith has quality entity ⇐ (faith is subclass of object), (object has quality entity)
- doxastic attitude is for example faith ⇐ (faith is a doxastic attitude), (is a is inverse of is for example)
- faith is for example polytheism ⇐ (polytheism is a faith), (is a is inverse of is for example)
- occurrent is for example faith ⇐ (faith is a occurrent), (is a is inverse of is for example)
- faith is subclass of object ⇐ (unbelief is subclass of object), (unbelief is opposite of faith)
- faith is subclass of spatio-temporal entity ⇐ (unbelief is subclass of spatio-temporal entity), (unbelief is opposite of faith)
- faith is subclass of absence ⇐ (unbelief is subclass of absence), (unbelief is opposite of faith)
- faith is subclass of occurrent ⇐ (unbelief is subclass of occurrent), (unbelief is opposite of faith)
- faith is a occurrent ⇐ (mental state is subclass of occurrent), (faith is a mental state)
- faith is a doxastic attitude ⇐ (unbelief is a doxastic attitude), (unbelief is opposite of faith)
- polytheism is a faith ⇐ (monotheism is a faith), (monotheism is opposite of polytheism)
- faith is for example monotheism ⇐ (monotheism is a faith), (is a is inverse of is for example)
- mental state is for example faith ⇐ (faith is a mental state), (is a is inverse of is for example)
- entity is for example faith ⇐ (faith is a entity), (is a is inverse of is for example)
- unbelief is opposite of faith ⇐ faith is opposite of unbelief
- faith has quality existence ⇐ (faith is a entity), (entity has quality existence)
- faith is a entity ⇐ (mental state is subclass of entity), (faith is a mental state)
- monotheism is a faith ⇐ (religious belief is subclass of faith), (monotheism is a religious belief)