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 7112-7112
(externalImage Inmarsat "http://upload.wikimedia.org/wikipedia/commons/3/ 3a/ Inmarsat-3.gif") pictureList.kif 6630-6630
(externalImage Inmarsat "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ Satellite_phone.jpg") pictureList.kif 7113-7113
(subclass Inmarsat CommunicationSatellite) Communications.kif 157-157 Inmarsat is a subclass of communication satellite

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


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


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