No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 18-18 | 特别侦察 是 特别行动 的 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 57-57 | 环境侦察 是 特别侦察 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 72-72 | 武装侦察 是 特别侦察 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 105-105 | 目标威胁侦察 是 特别侦察 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 114-114 | 追击侦察 是 特别侦察 的 subclass |