| appearance as argument number 1 |
|
| (documentation seaSurfaceTemperature EnglishLanguage "(seaSurfaceTemperature ?AREA ?TEMP) means that the temperature of the sea surface at ?AREA is ?TEMP. Temperature may be expressed in some UnitOfTemperature, including CelsiusDegree and FahrenheitDegree, among others.") | Weather.kif 962-966 | |
| (domain seaSurfaceTemperature 1 WaterArea) | Weather.kif 959-959 | The number 1 argument of sea surface temperature is an instance of water area |
| (domain seaSurfaceTemperature 2 ConstantQuantity) | Weather.kif 960-960 | The number 2 argument of sea surface temperature is an instance of constant quantity |
| (instance seaSurfaceTemperature AsymmetricRelation) | Weather.kif 958-958 | sea surface temperature is an instance of asymmetric relation |
| (instance seaSurfaceTemperature BinaryPredicate) | Weather.kif 957-957 | sea surface temperature is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage seaSurfaceTemperature "%2 %n 是 %1 的 sea 表面温度") | domainEnglishFormat.kif 2203-2203 | |
| (format ChineseTraditionalLanguage seaSurfaceTemperature "%2 %n 是 %1 的 sea 表面溫度") | domainEnglishFormat.kif 2202-2202 | |
| (format EnglishLanguage seaSurfaceTemperature "%2 is %n a sea surface temperature of %1") | domainEnglishFormat.kif 2201-2201 | |
| (termFormat ChineseLanguage seaSurfaceTemperature "海面温度") | domainEnglishFormat.kif 51731-51731 | |
| (termFormat ChineseTraditionalLanguage seaSurfaceTemperature "海面溫度") | domainEnglishFormat.kif 51730-51730 | |
| (termFormat EnglishLanguage seaSurfaceTemperature "sea surface temperature") | domainEnglishFormat.kif 51729-51729 |
|
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