No TPTP formula. May not be expressible in strict first order. | Merge.kif 18312-18312 | Estado Emocional e' uma sub-classe de Estado de Espirito |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 73-73 | SubjectiveEmotionalFeeling e' uma sub-classe de Estado Emocional |