| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18280-18280 |
O conceito Atributo Psicologico e' completamente decomposto em Estado de Espirito + Atributo Caracteristico |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 79-79 |
Appraisal 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. |
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. |
chinese_format.kif 1263-1263 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1747-1747 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 941-941 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 477-477 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 480-480 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2625-2625 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 893-893 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 516-516 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 962-962 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 481-481 |
|
