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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inmarsat
Inmarsat(inmarsat)

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


(documentation Inmarsat EnglishLanguage "An Inmarsat is one type of CommunicationSatellite.") Communications.kif 158-159
(externalImage Inmarsat "http://upload.wikimedia.org/wikipedia/commons/0/ 02/ Shoreditch_inmarsat_building_1.jpg") pictureList.kif 7113-7113
(externalImage Inmarsat "http://upload.wikimedia.org/wikipedia/commons/3/ 3a/ Inmarsat-3.gif") pictureList.kif 6631-6631
(externalImage Inmarsat "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ Satellite_phone.jpg") pictureList.kif 7114-7114
(subclass Inmarsat CommunicationSatellite) Communications.kif 157-157 Inmarsat is a subclass of communication satellite

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


(termFormat ChineseLanguage Inmarsat "国际海事卫星组织") domainEnglishFormat.kif 30233-30233
(termFormat ChineseTraditionalLanguage Inmarsat "國際海事衛星組織") domainEnglishFormat.kif 30232-30232
(termFormat EnglishLanguage Inmarsat "inmarsat") domainEnglishFormat.kif 30231-30231


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