| 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 | The number 1 argument of mean sea level is an instance of geographic area |
| (domain meanSeaLevel 2 LengthMeasure) | Geography.kif 4852-4852 | The number 2 argument of mean sea level is an instance of length measure |
| (instance meanSeaLevel BinaryPredicate) | Geography.kif 4845-4845 | mean sea level is an instance of binary predicate |
| 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 36687-36687 | |
| (termFormat ChineseTraditionalLanguage meanSeaLevel "平均海平面") | domainEnglishFormat.kif 36686-36686 | |
| (termFormat EnglishLanguage meanSeaLevel "mean sea level") | domainEnglishFormat.kif 36685-36685 |
|
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