| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13952-13952 |
军事渗透 是 军事过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 23-23 |
军事行动 是 军事过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2684-2684 |
MilitaryRegrouping 是 军事过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1104-1104 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1425-1425 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 782-782 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 314-314 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 317-317 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2466-2466 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 734-734 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 353-353 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 803-803 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 318-318 |
|
