No TPTP formula. May not be expressible in strict first order. | Merge.kif 18363-18363 | 子類 StateOfMind and PsychologicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18369-18369 | 子類 EmotionalState and StateOfMind |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18373-18373 | 子類 ConsciousnessAttribute and StateOfMind |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | 子類 Appraisal and StateOfMind |