No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18280-18280 |
劃分 PsychologicalAttribute, StateOfMind and TraitAttribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 79-79 |
子類 Appraisal and StateOfMind |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18316-18316 |
子類 ConsciousnessAttribute and StateOfMind |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18312-18312 |
子類 EmotionalState and StateOfMind |
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 |
|