Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - relativeHumidity

appearance as argument number 1

(documentation relativeHumidity EnglishLanguage "(relativeHumidity ?AREA ?AMOUNT) means that the amount of moisture in the air at ?AREA is ?AMOUNT. Relative humidity expresses the amount of moisture as a percentage, or ratio, between the actual moisture saturation of the air compared to the potential moisture saturation of the air. At full (potential) saturation, precipitation would occur.") Weather.kif 1026-1031
(domain relativeHumidity 1 Object) Weather.kif 1023-1023 The number 1 argument of relative humidity is an instance of object
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 1024-1024 The number 2 argument of relative humidity is an instance of nonnegative real number
(instance relativeHumidity BinaryPredicate) Weather.kif 1022-1022 relative humidity is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage relativeHumidity "%2 %n 是 %1 的 relative 湿度") domainEnglishFormat.kif 2139-2139
(format ChineseTraditionalLanguage relativeHumidity "%2 %n 是 %1 的 relative 濕度") domainEnglishFormat.kif 2138-2138
(format EnglishLanguage relativeHumidity "%2 is %n a relative humidity of %1") domainEnglishFormat.kif 2137-2137
(termFormat ChineseLanguage relativeHumidity "相对湿度") domainEnglishFormat.kif 49352-49352
(termFormat ChineseTraditionalLanguage relativeHumidity "相對濕度") domainEnglishFormat.kif 49351-49351
(termFormat EnglishLanguage relativeHumidity "relative humidity") domainEnglishFormat.kif 49350-49350


    (relativeHumidity ?PLACE 1.0)
    (exists (?FALLING)
            (instance ?FALLING Precipitation)
            (eventLocated ?FALLING ?PLACE))))
Weather.kif 1033-1038

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