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 | AirLaunchMissile est une sous-classe de Missile |
appearance as argument number 2 |
(subclass AAM AirLaunchMissile) | MilitaryDevices.kif 1169-1169 | AAM est une sous-classe de AirLaunchMissile |
(subclass AGM AirLaunchMissile) | MilitaryDevices.kif 1123-1123 | AGM est une sous-classe de AirLaunchMissile |
(termFormat ChineseLanguage AirLaunchMissile "空中发射导弹") | domainEnglishFormat.kif 6156-6156 | |
(termFormat ChineseTraditionalLanguage AirLaunchMissile "空中發射導彈") | domainEnglishFormat.kif 6155-6155 | |
(termFormat EnglishLanguage AirLaunchMissile "air launch missile") | domainEnglishFormat.kif 6154-6154 | |
(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 |