|
|
   AirLaunchMissile
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AirLaunchMissile EnglishLanguage "A missile launched from the air.") | MilitaryDevices.kif 940-940 | |
| (subclass AirLaunchMissile Missile) | MilitaryDevices.kif 939-939 |
| appearance as argument number 2 |
|
|
| (subclass AAM AirLaunchMissile) | MilitaryDevices.kif 1169-1169 | |
| (subclass AGM AirLaunchMissile) | MilitaryDevices.kif 1123-1123 | |
| (termFormat ChineseLanguage AirLaunchMissile "空中发射导弹") | domainEnglishFormat.kif 6167-6167 | |
| (termFormat ChineseTraditionalLanguage AirLaunchMissile "空中發射導彈") | domainEnglishFormat.kif 6166-6166 | |
| (termFormat EnglishLanguage AirLaunchMissile "air launch missile") | domainEnglishFormat.kif 6165-6165 | |
| (termFormat EnglishLanguage AirLaunchMissile "air launched missile") | MilitaryDevices.kif 2061-2061 |
| antecedent |
|
|
| (=> (and (instance ?FLYING Flying) (patient ?FLYING ?ALM) (instance ?ALM AirLaunchMissile)) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?FLYING)) (located ?ALM ?REGION))))) |
MilitaryDevices.kif 944-955 |
|
|
|