No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11788-11788 |
单方面获得 和 单方面给予 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18641-18641 |
Awarding 是 单方面给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18675-18675 |
遗赠 是 单方面给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1134-1134 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1485-1485 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 812-812 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 344-344 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 347-347 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2496-2496 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 764-764 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 383-383 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 833-833 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 348-348 |
|