| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18258-18258 |
心理属性 详尽无遗地 partition 成 心理状态 和 特征属性 |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 79-79 |
Appraisal 是 心理状态 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18294-18294 |
意识状态 是 心理状态 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18290-18290 |
情绪状态 是 心理状态 的 subclass |
| 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 |
|
