Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| seaSurfaceTemperature |
| appearance as argument number 1 |
|
| (instance seaSurfaceTemperature BinaryPredicate) | Weather.kif 1650-1650 | sea surface temperature is an instance of binary predicate |
| (instance seaSurfaceTemperature AsymmetricRelation) | Weather.kif 1651-1651 | sea surface temperature is an instance of asymmetric relation |
| (domain seaSurfaceTemperature 1 WaterArea) | Weather.kif 1652-1652 | The number 1 argument of sea surface temperature is an instance of water area |
| (domain seaSurfaceTemperature 2 TemperatureMeasure) | Weather.kif 1653-1653 | The number 2 argument of sea surface temperature is an instance of temperature measure |
| (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 1655-1659 | The number 2 argument of sea surface temperature is an instance of temperature measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage seaSurfaceTemperature "%2 is %n a sea surface temperature of %1") | domainEnglishFormat.kif 2205-2205 | |
| (format ChineseTraditionalLanguage seaSurfaceTemperature "%2 %n 是 %1 的 sea 表面溫度") | domainEnglishFormat.kif 2206-2206 | |
| (format ChineseLanguage seaSurfaceTemperature "%2 %n 是 %1 的 sea 表面温度") | domainEnglishFormat.kif 2207-2207 | |
| (termFormat EnglishLanguage seaSurfaceTemperature "sea surface temperature") | domainEnglishFormat.kif 51724-51724 | |
| (termFormat ChineseTraditionalLanguage seaSurfaceTemperature "海面溫度") | domainEnglishFormat.kif 51725-51725 | |
| (termFormat ChineseLanguage seaSurfaceTemperature "海面温度") | domainEnglishFormat.kif 51726-51726 |
|