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. | emotion.kif 73-73 | Subjective emotional feeling is a subclass of emotional state |