| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21919-21919 |
子類 劫持人質 and UnilateralGetting |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18616-18616 |
子類 繼承 and UnilateralGetting |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18697-18697 |
子類 奪取財產 and UnilateralGetting |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18579-18579 |
子類 偷竊行為 and UnilateralGetting |
| 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 |
|
