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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - relativeHumidity
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 1010-1015
(domain relativeHumidity 1 Object) Weather.kif 1007-1007 The number 1 argument of relative humidity is an instance of object
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 1008-1008 The number 2 argument of relative humidity is an instance of nonnegative real number
(instance relativeHumidity BinaryPredicate) Weather.kif 1006-1006 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 49380-49380
(termFormat ChineseTraditionalLanguage relativeHumidity "相對濕度") domainEnglishFormat.kif 49379-49379
(termFormat EnglishLanguage relativeHumidity "relative humidity") domainEnglishFormat.kif 49378-49378

antecedent
-------------------------


(=>
    (relativeHumidity ?PLACE 1.0)
    (exists (?FALLING)
        (and
            (instance ?FALLING Precipitation)
            (eventLocated ?FALLING ?PLACE))))
Weather.kif 1017-1022


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