| AirReconnaissance(空中侦察)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 731-732 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2090-2090 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2093-2093 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2092-2092 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2091-2091 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 730-730 | 空中侦察 是 ReconnaissanceOperation 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 743-743 | 航空摄影侦察 是 空中侦察 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6264-6264 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6263-6263 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6262-6262 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 736-741 |
|
|
|