seaSurfaceTemperature |
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 978-982 | |
(domain seaSurfaceTemperature 1 WaterArea) | Weather.kif 975-975 | seaSurfaceTemperature の数値 1 引数は 水域 の instance では %n |
(domain seaSurfaceTemperature 2 ConstantQuantity) | Weather.kif 976-976 | seaSurfaceTemperature の数値 2 引数は 一定量 の instance では %n |
(instance seaSurfaceTemperature AsymmetricRelation) | Weather.kif 974-974 | seaSurfaceTemperature は 非対称関係 の instance では %n |
(instance seaSurfaceTemperature BinaryPredicate) | Weather.kif 973-973 | seaSurfaceTemperature は 2進述語 の instance では %n |
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 51729-51729 | |
(termFormat ChineseTraditionalLanguage seaSurfaceTemperature "海面溫度") | domainEnglishFormat.kif 51728-51728 | |
(termFormat EnglishLanguage seaSurfaceTemperature "sea surface temperature") | domainEnglishFormat.kif 51727-51727 |