No TPTP formula. May not be expressible in strict first order. |
emotion.kif 48-48 |
AppraisalProcess e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12136-12136 |
Calcular e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12006-12006 |
Classificar e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12130-12130 |
Comparar e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11980-11980 |
Discovering e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10880-10880 |
Interpreting e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11961-11961 |
Aprender e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10857-10857 |
Planejar e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12166-12166 |
Prever e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12014-12014 |
Raciocinar e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12023-12023 |
Selecionar e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1092-1092 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1395-1395 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 770-770 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 302-302 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 305-305 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2454-2454 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 722-722 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 341-341 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 791-791 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 306-306 |
|