No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2394-2394 |
子類 出口 and ChangeOfPossession |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11821-11821 |
子類 Getting and ChangeOfPossession |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11714-11714 |
子類 Giving and ChangeOfPossession |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18587-18587 |
子類 分享 and ChangeOfPossession |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11855-11855 |
子類 Transaction and ChangeOfPossession |
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 |
|