| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12954-12954 |
诊断过程 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13932-13932 |
间谍 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12949-12949 |
试验 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5343-5343 |
GramStaining 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1891-1891 |
侵略性信息操作 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13948-13948 |
轮询 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 674-674 |
ReconnaissanceOperation 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 720-720 |
研究大规模杀伤性武器 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12965-12965 |
Searching 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1191-1191 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1599-1599 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 869-869 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 402-402 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 405-405 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2553-2553 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 821-821 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 407-407 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 441-441 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 890-890 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 406-406 |
|
