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 7122-7122
(subclass Intersputnik CommunicationSatellite) Communications.kif 165-165 Intersputnik is a subclass of communication satellite

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


(termFormat ChineseLanguage Intersputnik "空间通信") domainEnglishFormat.kif 30785-30785
(termFormat ChineseTraditionalLanguage Intersputnik "空間通信") domainEnglishFormat.kif 30784-30784
(termFormat EnglishLanguage Intersputnik "intersputnik") domainEnglishFormat.kif 30783-30783


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