| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2394-2394 |
出口 是 改变所有权 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11775-11775 |
获得 是 改变所有权 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11668-11668 |
给予 是 改变所有权 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18560-18560 |
分享 是 改变所有权 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11809-11809 |
交易 是 改变所有权 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1132-1132 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1481-1481 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 810-810 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 342-342 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 345-345 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2494-2494 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 762-762 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 347-347 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 381-381 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 831-831 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 346-346 |
|
