No TPTP formula. May not be expressible in strict first order. |
Media.kif 185-185 |
ReceivingAnObjectFn 的所得值 是 获得 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11825-11825 |
借入 是 获得 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 51-51 |
食品配送业务 是 获得 的 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 1136-1136 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1489-1489 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 814-814 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 346-346 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 349-349 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2498-2498 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 766-766 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 351-351 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 385-385 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 835-835 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 350-350 |
|