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


(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

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


(termFormat ChineseLanguage InfraRedGMissile "红外导弹") domainEnglishFormat.kif 30072-30072
(termFormat ChineseTraditionalLanguage InfraRedGMissile "紅外導彈") domainEnglishFormat.kif 30071-30071
(termFormat EnglishLanguage InfraRedGMissile "infra redG missile") domainEnglishFormat.kif 30070-30070


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