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 3383-3384
(externalImage Moon "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Moon.jpg") pictureList.kif 1494-1494
(subclass Moon NaturalSatellite) Geography.kif 3382-3382 Moon is a subclass of natural satellite

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


(instance EarthsMoon Moon) Geography.kif 3386-3386 Earths moon is an instance of moon
(termFormat ChineseLanguage Moon "月亮") domainEnglishFormat.kif 38545-38545 Earths moon is an instance of moon
(termFormat ChineseTraditionalLanguage Moon "月亮") domainEnglishFormat.kif 38544-38544 Earths moon is an instance of moon
(termFormat EnglishLanguage Moon "moon") domainEnglishFormat.kif 38543-38543 Earths moon is an instance of moon


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