ContactReconnaissance(联系侦察) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 821-822 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 820-820 | 联系侦察 是 ReconnaissanceOperation 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16890-16890 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16889-16889 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16888-16888 |