|
|
   AIM9
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AIM9 EnglishLanguage "The AIM-9 Sidewinder is a heat-seeking, short-range, air-to-air missile carried by fighter aircraft and recently, certain gunship helicopters. It is named after the Sidewinder snake, which also detects its prey via body heat. The Sidewinder was the first truly effective air-to-air missile, widely imitated and copied. Its latest variants remain in active service with many air forces. (from Wikipedia)") | MilitaryDevices.kif 1179-1185 | |
| (externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Northrop_YF-5A_with_sidewinder_missiles_060905-F-1234S-003.jpg") | pictureList-ImageNet.kif 553-553 | |
| (externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/b/be/ AIM-120_AMRAAM_and_AIM-9_Sidewinder.JPG") | pictureList-ImageNet.kif 549-549 | |
| (externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/e/ed/ AIM_9M_Sidewinder_p1220807.jpg") | pictureList-ImageNet.kif 551-551 | |
| (externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 66/ Sidewider_missile_20040710_145400_1.4.jpg/ 800px-Sidewider_missile_20040710_145400_1.4.jpg") | pictureList-ImageNet.kif 548-548 | |
| (externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6f/ AIM-9_Sidewinder_on_AMX.JPG/ 800px-AIM-9_Sidewinder_on_AMX.JPG") | pictureList-ImageNet.kif 552-552 | |
| (externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a9/ AIM_9L_Sidewinder_p1220802.jpg/ 800px-AIM_9L_Sidewinder_p1220802.jpg") | pictureList-ImageNet.kif 550-550 | |
| (subclass AIM9 AAM) | MilitaryDevices.kif 1177-1177 | subclass AIM9 and AAM |
| (subclass AIM9 InfraRedGMissile) | MilitaryDevices.kif 1178-1178 | subclass AIM9 and InfraRedGMissile |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AIM9 "AI m9") | domainEnglishFormat.kif 6059-6059 | |
| (termFormat ChineseTraditionalLanguage AIM9 "AI m9") | domainEnglishFormat.kif 6058-6058 | |
| (termFormat EnglishLanguage AIM9 "AI m9") | domainEnglishFormat.kif 6057-6057 | |
| (termFormat EnglishLanguage AIM9 "AIM-9 Sidewinder missile") | MilitaryDevices.kif 2071-2071 |
| antecedent |
|
|
| (=> (instance ?AIM9 AIM9) (and (length ?AIM9 (MeasureFn 2.85 Meter)) (width ?AIM9 (MeasureFn 0.63 Meter)) (height ?AIM9 (MeasureFn 0.63 Meter)) (weight ?AIM9 (MeasureFn 91 Kilogram)) (effectiveRange ?AIM9 (MeasureFn 18 Kilometer)))) |
MilitaryDevices.kif 1189-1201 |
|
| consequent |
|
|
| (=> (instance ?AH1 AH1) (and (weaponCarryingCapability ?AH1 M197GatlingGun 1) (weaponCarryingCapability ?AH1 AntiTankMissile 4) (weaponCarryingCapability ?AH1 AGM114 8) (weaponCarryingCapability ?AH1 AIM9 1))) |
MilitaryDevices.kif 1916-1922 | |
| (=> (instance ?Harrier Harrier2) (and (weaponCarryingCapability ?Harrier GAU12U 1) (weaponCarryingCapability ?Harrier AGM65 7) (weaponCarryingCapability ?Harrier AIM9 4))) |
MilitaryDevices.kif 1760-1765 |
|
|
|
