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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Intersputnik
Intersputnik(intersputnik)

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


(documentation Intersputnik EnglishLanguage "An Intersputnik is one type of CommunicationSatellite.") Communications.kif 166-167
(externalImage Intersputnik "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Intersputnik_-_pa%C5%84stwa_cz%C5%82onkowskie.png") pictureList.kif 7121-7121
(subclass Intersputnik CommunicationSatellite) Communications.kif 165-165 Intersputnik is a subclass of communication satellite

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


(termFormat ChineseLanguage Intersputnik "空间通信") domainEnglishFormat.kif 30779-30779
(termFormat ChineseTraditionalLanguage Intersputnik "空間通信") domainEnglishFormat.kif 30778-30778
(termFormat EnglishLanguage Intersputnik "intersputnik") domainEnglishFormat.kif 30777-30777


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