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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Intersputnik

Sigma KEE - 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 e' uma sub-classe de CommunicationSatellite

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


(termFormat ChineseLanguage Intersputnik "空间通信") domainEnglishFormat.kif 30751-30751
(termFormat ChineseTraditionalLanguage Intersputnik "空間通信") domainEnglishFormat.kif 30750-30750
(termFormat EnglishLanguage Intersputnik "intersputnik") domainEnglishFormat.kif 30749-30749


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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