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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - meanSeaLevel
meanSeaLevel

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


(documentation meanSeaLevel EnglishLanguage "(meanSeaLevel ?place ?measure) means that the Mean Sea Level (MSL) at ?place is ?measure. ?measure is a distance representing the sea level at ?place measured against a benchmark (and averaged over a long time). MSL is measured by tide gauges for maritime purposes, while geodesists use the difference between the local sea surface and an ideal level ocean surface (the geoid).") Geography.kif 4846-4850
(domain meanSeaLevel 1 GeographicArea) Geography.kif 4851-4851
(domain meanSeaLevel 2 LengthMeasure) Geography.kif 4852-4852
(instance meanSeaLevel BinaryPredicate) Geography.kif 4845-4845

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


(format ChineseLanguage meanSeaLevel "%2 %n 是 %1 的 mean 海平面") domainEnglishFormat.kif 1659-1659
(format ChineseTraditionalLanguage meanSeaLevel "%2 %n 是 %1 的 mean 海平面") domainEnglishFormat.kif 1658-1658
(format EnglishLanguage meanSeaLevel "%2 is %n a mean sea level of %1") domainEnglishFormat.kif 1657-1657
(termFormat ChineseLanguage meanSeaLevel "平均海平面") domainEnglishFormat.kif 36653-36653
(termFormat ChineseTraditionalLanguage meanSeaLevel "平均海平面") domainEnglishFormat.kif 36652-36652
(termFormat EnglishLanguage meanSeaLevel "mean sea level") domainEnglishFormat.kif 36651-36651


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