more pictures...
| AIM9(AI m9)
more pictures... | | sidewinder |
| appearance as argument number 1 |
|
|
| (subclass AIM9 AAM) | MilitaryDevices.kif 1334-1334 | AI m9 is a subclass of air-to-air missile |
| (subclass AIM9 InfraRedGMissile) | MilitaryDevices.kif 1335-1335 | AI m9 is a subclass of infra redG missile |
| (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 1336-1342 | AI m9 is a subclass of infra redG missile |
| (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 547-547 | AI m9 is a subclass of infra redG missile |
| (externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/b/be/ AIM-120_AMRAAM_and_AIM-9_Sidewinder.JPG") | pictureList-ImageNet.kif 548-548 | AI m9 is a subclass of infra redG missile |
| (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 549-549 | AI m9 is a subclass of infra redG missile |
| (externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/e/ed/ AIM_9M_Sidewinder_p1220807.jpg") | pictureList-ImageNet.kif 550-550 | AI m9 is a subclass of infra redG missile |
| (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 551-551 | AI m9 is a subclass of infra redG missile |
| (externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Northrop_YF-5A_with_sidewinder_missiles_060905-F-1234S-003.jpg") | pictureList-ImageNet.kif 552-552 | AI m9 is a subclass of infra redG missile |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AIM9 "AIM-9 Sidewinder missile") | MilitaryDevices.kif 2228-2228 | |
| (termFormat EnglishLanguage AIM9 "AI m9") | domainEnglishFormat.kif 6055-6055 | |
| (termFormat ChineseTraditionalLanguage AIM9 "AI m9") | domainEnglishFormat.kif 6056-6056 | |
| (termFormat ChineseLanguage AIM9 "AI m9") | domainEnglishFormat.kif 6057-6057 |
| 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.0 Kilogram)) (effectiveRange ?AIM9 (MeasureFn 18.0 Kilometer)))) |
MilitaryDevices.kif 1346-1358 | If X is an instance of AI m9, then the length of X is 2.85 meter(s), the width of X is 0.63 meter(s), the height of X is 0.63 meter(s), 91.0 kilogram(s) is a weight of X, and 18.0 kilometer(s) is an effective range of X |
| consequent |
|
|
| (=> (instance ?Harrier Harrier2) (and (weaponCarryingCapability ?Harrier GAU12U 1) (weaponCarryingCapability ?Harrier AGM65 7) (weaponCarryingCapability ?Harrier AIM9 4))) |
MilitaryDevices.kif 1917-1922 | If X is an instance of harrier2, then X can carry 1 weapons of type GAU12U., X can carry 7 weapons of type AG m65., and X can carry 4 weapons of type AI m9. |
| (=> (instance ?AH1 AH1) (and (weaponCarryingCapability ?AH1 M197GatlingGun 1) (weaponCarryingCapability ?AH1 AntiTankMissile 4) (weaponCarryingCapability ?AH1 AGM114 8) (weaponCarryingCapability ?AH1 AIM9 1))) |
MilitaryDevices.kif 2073-2079 | If X is an instance of A h1, then X can carry 1 weapons of type m197 gatling gun., X can carry 4 weapons of type anti tank missile., X can carry 8 weapons of type AG m114., and X can carry 1 weapons of type AI m9. |
|
|
|