Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AIM9
AIM9
more pictures...

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 InfraRedGMissile) MilitaryDevices.kif 1178-1178

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage AIM9 "AI m9") domainEnglishFormat.kif 6055-6055
(termFormat ChineseTraditionalLanguage AIM9 "AI m9") domainEnglishFormat.kif 6054-6054
(termFormat EnglishLanguage AIM9 "AI m9") domainEnglishFormat.kif 6053-6053
(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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners