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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AIM9
AIM9(AI m9)
more pictures...
AIM-9_Sidewinder_missile, AI_m9, sidewinder

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 1178-1184
(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 "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Northrop_YF-5A_with_sidewinder_missiles_060905-F-1234S-003.jpg" is a URL depicting AI m9
(externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/b/be/ AIM-120_AMRAAM_and_AIM-9_Sidewinder.JPG") pictureList-ImageNet.kif 549-549 "http://upload.wikimedia.org/wikipedia/commons/b/be/ AIM-120_AMRAAM_and_AIM-9_Sidewinder.JPG" is a URL depicting AI m9
(externalImage AIM9 "http://upload.wikimedia.org/wikipedia/commons/e/ed/ AIM_9M_Sidewinder_p1220807.jpg") pictureList-ImageNet.kif 551-551 "http://upload.wikimedia.org/wikipedia/commons/e/ed/ AIM_9M_Sidewinder_p1220807.jpg" is a URL depicting AI m9
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 66/ Sidewider_missile_20040710_145400_1.4.jpg/ 800px-Sidewider_missile_20040710_145400_1.4.jpg" is a URL depicting AI m9
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6f/ AIM-9_Sidewinder_on_AMX.JPG/ 800px-AIM-9_Sidewinder_on_AMX.JPG" is a URL depicting AI m9
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a9/ AIM_9L_Sidewinder_p1220802.jpg/ 800px-AIM_9L_Sidewinder_p1220802.jpg" is a URL depicting AI m9
(subclass AIM9 AAM) MilitaryDevices.kif 1176-1176 AI m9 is a subclass of air-to-air missile
(subclass AIM9 InfraRedGMissile) MilitaryDevices.kif 1177-1177 AI m9 is a subclass of infra redG missile

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


(termFormat ChineseLanguage AIM9 "AI m9") domainEnglishFormat.kif 6055-6055 "AI m9" is the printable form of AI m9 in ChineseLanguage
(termFormat ChineseTraditionalLanguage AIM9 "AI m9") domainEnglishFormat.kif 6054-6054 "AI m9" is the printable form of AI m9 in ChineseTraditionalLanguage
(termFormat EnglishLanguage AIM9 "AI m9") domainEnglishFormat.kif 6053-6053 "AI m9" is the printable form of AI m9 in english language
(termFormat EnglishLanguage AIM9 "AIM-9 Sidewinder missile") MilitaryDevices.kif 2070-2070 "AIM-9 Sidewinder missile" is the printable form of AI m9 in english language

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 1188-1200

consequent
-------------------------


(=>
    (instance ?AH1 AH1)
    (and
        (weaponCarryingCapability ?AH1 M197GatlingGun 1)
        (weaponCarryingCapability ?AH1 AntiTankMissile 4)
        (weaponCarryingCapability ?AH1 AGM114 8)
        (weaponCarryingCapability ?AH1 AIM9 1)))
MilitaryDevices.kif 1915-1921
(=>
    (instance ?Harrier Harrier2)
    (and
        (weaponCarryingCapability ?Harrier GAU12U 1)
        (weaponCarryingCapability ?Harrier AGM65 7)
        (weaponCarryingCapability ?Harrier AIM9 4)))
MilitaryDevices.kif 1759-1764


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