| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21918-21918 |
劫持人质 是 单方面获得 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18615-18615 |
继承 是 单方面获得 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18696-18696 |
夺取财产 是 单方面获得 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18578-18578 |
偷窃行为 是 单方面获得 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1137-1137 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1491-1491 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 815-815 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 347-347 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 350-350 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2499-2499 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 767-767 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 386-386 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 836-836 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 351-351 |
|
UnilateralGetting