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 12114-12114 |
Calcular e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11984-11984 |
Classificar e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12108-12108 |
Comparar e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11958-11958 |
Discovering e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10858-10858 |
Interpreting e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11939-11939 |
Aprender e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10835-10835 |
Planejar e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12144-12144 |
Prever e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11992-11992 |
Raciocinar e' uma sub-classe de Processo Psicologico Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12001-12001 |
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 |
|