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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlanetPluto
PlanetPluto

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


(instance PlanetPluto Planet) Geography.kif 3410-3410
(orbits PlanetPluto Sol) Geography.kif 3411-3411

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


(termFormat ChineseLanguage PlanetPluto "行星冥王星") domainEnglishFormat.kif 46099-46099
(termFormat ChineseTraditionalLanguage PlanetPluto "行星冥王星") domainEnglishFormat.kif 46098-46098
(termFormat EnglishLanguage PlanetPluto "planet pluto") domainEnglishFormat.kif 46097-46097


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