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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Moon
Moon(moon)
Callisto, Europa, Galilean, Galilean_satellite, Ganymede, Io, Phobos, Titan, Triton, lunar, moon

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


(documentation Moon EnglishLanguage "Moon is the class of NaturalSatellites that orbit planets or large asteroids.") Geography.kif 3395-3396
(externalImage Moon "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Moon.jpg") pictureList.kif 1494-1494
(subclass Moon NaturalSatellite) Geography.kif 3394-3394 Moon is a subclass of natural satellite

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


(instance EarthsMoon Moon) Geography.kif 3398-3398 Earths moon is an instance of moon
(termFormat ChineseLanguage Moon "月亮") domainEnglishFormat.kif 38517-38517
(termFormat ChineseTraditionalLanguage Moon "月亮") domainEnglishFormat.kif 38516-38516
(termFormat EnglishLanguage Moon "moon") domainEnglishFormat.kif 38515-38515


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