No TPTP formula. May not be expressible in strict first order. | Merge.kif 18284-18284 | State of mind is a subclass of psychological attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18290-18290 | Emotional state is a subclass of state of mind |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18294-18294 | Consciousness attribute is a subclass of state of mind |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal is a subclass of state of mind |