| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4025-4038 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12945-12945 | 调查 是 有意图过程 的 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. | MilitaryProcesses.kif 674-674 | ReconnaissanceOperation 是 调查 的 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 13931-13931 | 间谍 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13947-13947 | 轮询 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12971-12971 | 试验 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12976-12976 | 诊断过程 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12987-12987 | Searching 是 调查 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5343-5343 | GramStaining 是 调查 的 subclass |
|
|