| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7420-7420 |
例 不喜歡 and ObjectAttitude |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2449-2449 |
例 enemy and ObjectAttitude |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2748-2748 |
例 需求 and ObjectAttitude |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2761-2761 |
例 想要 and ObjectAttitude |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 909-909 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1025-1025 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 585-585 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 115-115 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 118-118 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2270-2270 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 537-537 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 152-152 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 606-606 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 119-119 |
|
