AirPhotographicReconnaissance
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 744-749 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2076-2076 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2078-2078 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 743-743 | 子類 航空攝影偵察 and 空中偵察 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6162-6162 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6161-6161 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6160-6160 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 753-763 |