| 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 4915-4919 | |
| (domain meanSeaLevel 1 GeographicArea) | Geography.kif 4920-4920 | The number 1 argument of mean sea level is an instance of geographic area |
| (domain meanSeaLevel 2 LengthMeasure) | Geography.kif 4921-4921 | The number 2 argument of mean sea level is an instance of length measure |
| (instance meanSeaLevel BinaryPredicate) | Geography.kif 4914-4914 | mean sea level is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage meanSeaLevel "%2 %n 是 %1 的 mean 海平面") | domainEnglishFormat.kif 1663-1663 | |
| (format ChineseTraditionalLanguage meanSeaLevel "%2 %n 是 %1 的 mean 海平面") | domainEnglishFormat.kif 1662-1662 | |
| (format EnglishLanguage meanSeaLevel "%2 is %n a mean sea level of %1") | domainEnglishFormat.kif 1661-1661 | |
| (termFormat ChineseLanguage meanSeaLevel "平均海平面") | domainEnglishFormat.kif 36679-36679 | |
| (termFormat ChineseTraditionalLanguage meanSeaLevel "平均海平面") | domainEnglishFormat.kif 36678-36678 | |
| (termFormat EnglishLanguage meanSeaLevel "mean sea level") | domainEnglishFormat.kif 36677-36677 |
|
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