AIM9 - Sigma Knowledge base Browser

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 552-552
(externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/b/be/ AIM-120_AMRAAM_and_AIM-9_Sidewinder.JPG")	pictureList-ImageNet.kif 548-548
(externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/e/ed/ AIM_9M_Sidewinder_p1220807.jpg")	pictureList-ImageNet.kif 550-550
(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
(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
(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
(subclass AIM9 AAM)	MilitaryDevices.kif 1177-1177	AI m9 is a subclass of air-to-air missile
(subclass AIM9 InfraRedGMissile)	MilitaryDevices.kif 1178-1178	AI m9 is a subclass of infra redG missile

appearance as argument number 2

(termFormat ChineseLanguage AIM9 "AI m9")	domainEnglishFormat.kif 6052-6052
(termFormat ChineseTraditionalLanguage AIM9 "AI m9")	domainEnglishFormat.kif 6051-6051
(termFormat EnglishLanguage AIM9 "AI m9")	domainEnglishFormat.kif 6050-6050
(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.0 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18.0 Kilometer))))

MilitaryDevices.kif 1189-1201

If a self connected object is an instance of AI m9,
then the length of the self connected object is 2.85 meter(s) and the width of the self connected object is 0.63 meter(s) and the height of the self connected object is 0.63 meter(s) and 91.0 kilogram(s) is a weight of the self connected object and 18.0 kilometer(s) is an effective range of the self connected object

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	If a military vehicle is an instance of A h1, then the military vehicle can carry 1 weapons of type m197 gatling gun. and the military vehicle can carry 4 weapons of type anti tank missile. and the military vehicle can carry 8 weapons of type AG m114. and the military vehicle can carry 1 weapons of type AI m9.
(=> (instance ?Harrier Harrier2) (and (weaponCarryingCapability ?Harrier GAU12U 1) (weaponCarryingCapability ?Harrier AGM65 7) (weaponCarryingCapability ?Harrier AIM9 4)))	MilitaryDevices.kif 1760-1765	If a military vehicle is an instance of harrier2, then the military vehicle can carry 1 weapons of type GAU12U. and the military vehicle can carry 7 weapons of type AG m65. and the military vehicle can carry 4 weapons of type AI m9.

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: