| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2193-2203 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 673-673 | ReconnaissanceOperation 是 军事行动 的 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 19-19 | 特别侦察 是 ReconnaissanceOperation 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 706-706 | ReconnaissanceByFire 是 ReconnaissanceOperation 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 725-725 | ReconnaissanceInForce 是 ReconnaissanceOperation 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 730-730 | 空中侦察 是 ReconnaissanceOperation 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 765-765 | 两栖侦察 是 ReconnaissanceOperation 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 820-820 | 联系侦察 是 ReconnaissanceOperation 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 824-824 | 雷达侦察 是 ReconnaissanceOperation 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 838-838 | 巡逻 是 ReconnaissanceOperation 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 844-844 | 电子侦察 是 ReconnaissanceOperation 的 subclass |
|
|