No TPTP formula. May not be expressible in strict first order. |
emotion.kif 48-48 |
子類 AppraisalProcess and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12114-12114 |
子類 Calculating and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11984-11984 |
子類 Classifying and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12108-12108 |
子類 Comparing and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11958-11958 |
子類 發現 and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10858-10858 |
子類 解讀 and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11939-11939 |
子類 Learning and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10835-10835 |
子類 Planning and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12144-12144 |
子類 Predicting and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11992-11992 |
子類 Reasoning and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12001-12001 |
子類 Selecting and IntentionalPsychologicalProcess |
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 |
|