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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NaturalSatellite
NaturalSatellite

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


(disjoint NaturalSatellite Artifact) Geography.kif 3269-3269
(documentation NaturalSatellite EnglishLanguage "NaturalSatellite is the class of large, naturally occurring astronomical bodies orbiting some other AstronomicalBody.") Geography.kif 3271-3273
(subclass NaturalSatellite AstronomicalBody) Geography.kif 3268-3268
(subclass NaturalSatellite Satellite) Geography.kif 3267-3267

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


(subclass Moon NaturalSatellite) Geography.kif 3275-3275
(subclass Planet NaturalSatellite) Geography.kif 3283-3283
(termFormat ChineseLanguage NaturalSatellite "天然卫星") domainEnglishFormat.kif 39907-39907
(termFormat ChineseTraditionalLanguage NaturalSatellite "天然衛星") domainEnglishFormat.kif 39906-39906
(termFormat EnglishLanguage NaturalSatellite "natural satellite") domainEnglishFormat.kif 39905-39905


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