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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AralSea
AralSea(aral sea)
Aral_Sea, Lake_Aral

appearance as argument number 1

(externalImage AralSea " a0/ Aral_sea_1985_from_STS.jpg") pictureList.kif 941-941
(instance AralSea SaltLake) Geography.kif 5094-5094 Aral sea is an instance of salt lake

appearance as argument number 2

(names "Aral Sea" AralSea) Geography.kif 5095-5095 Aral sea has name "Aral Sea"
(termFormat ChineseLanguage AralSea "咸海") domainEnglishFormat.kif 8160-8160
(termFormat ChineseTraditionalLanguage AralSea "鹹海") domainEnglishFormat.kif 8159-8159
(termFormat EnglishLanguage AralSea "aral sea") domainEnglishFormat.kif 8158-8158

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