No TPTP formula. May not be expressible in strict first order. | Merge.kif 18306-18306 | Estado de Espirito e' uma sub-classe de Atributo Psicologico |
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. | Merge.kif 18316-18316 | Atributo de Consciencia e' uma sub-classe de Estado de Espirito |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal e' uma sub-classe de Estado de Espirito |
![]() |