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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - InfraRedGMissile
InfraRedGMissile

appearance as argument number 1
-------------------------


(documentation InfraRedGMissile EnglishLanguage "A missile that is guided by infrared homing. Infra-red homing refers to a guidance system which uses the infra-red light emission from a target to track it. Missiles which use infra-red seeking are often referred to as heat-seekers. Infra-red (IR) is just below the visible spectrum of light in frequency and is radiated strongly by hot bodies. Many objects such as people, vehicle engines and aircraft generate and retain heat, and as such, are especially visible in the infra-red wavelengths of light compared to objects in the background. (from Wikipedia)") MilitaryDevices.kif 1223-1231
(externalImage InfraRedGMissile "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ R-3_infrared_seeker.jpg") pictureList.kif 8539-8539
(externalImage InfraRedGMissile "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 05/ R-3_Air_to_Air_Missile.jpg/ 800px_R-3_Air_to_Air_Missile.jpg") pictureList.kif 9332-9332
(externalImage InfraRedGMissile "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 3e/ FA-18_Hornet_VFA-41.jpg/ 800px_FA-18_Hornet_VFA-41.jpg") pictureList.kif 9331-9331
(subclass InfraRedGMissile GuidedMissile) MilitaryDevices.kif 1222-1222 InfraRedGMissileGuidedMissilesubclass では

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


(subclass AGM65 InfraRedGMissile) MilitaryDevices.kif 1294-1294 AGM65InfraRedGMissilesubclass では
(subclass AIM9 InfraRedGMissile) MilitaryDevices.kif 1335-1335 AIM9InfraRedGMissilesubclass では
(termFormat ChineseLanguage InfraRedGMissile "红外导弹") domainEnglishFormat.kif 30072-30072 AIM9InfraRedGMissilesubclass では
(termFormat ChineseTraditionalLanguage InfraRedGMissile "紅外導彈") domainEnglishFormat.kif 30071-30071 AIM9InfraRedGMissilesubclass では
(termFormat EnglishLanguage InfraRedGMissile "infra redG missile") domainEnglishFormat.kif 30070-30070 AIM9InfraRedGMissilesubclass では
(termFormat EnglishLanguage InfraRedGMissile "infra-red guided missile") MilitaryDevices.kif 2223-2223 AIM9InfraRedGMissilesubclass では

antecedent
-------------------------


(=>
    (instance ?M InfraRedGMissile)
    (hasPurpose ?M
        (exists (?DAMAGE ?OBJ ?RADIATION)
            (and
                (instance ?DAMAGE Damaging)
                (instrument ?DAMAGE ?M)
                (patient ?DAMAGE ?OBJ)
                (instance ?RADIATION RadiatingInfrared)
                (agent ?RADIATION ?OBJ)))))
MilitaryDevices.kif 1236-1245


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