relativeHumidity - Sigma Knowledge base Browser

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 638-643
(domain relativeHumidity 1 Object)	Weather.kif 635-635	The number 1 argument of relative humidity is an instance of object
(domain relativeHumidity 2 NonnegativeRealNumber)	Weather.kif 636-636	The number 2 argument of relative humidity is an instance of nonnegative real number
(instance relativeHumidity AsymmetricRelation)	Weather.kif 634-634	relative humidity is an instance of asymmetric relation
(instance relativeHumidity BinaryPredicate)	Weather.kif 633-633	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 49238-49238
(termFormat ChineseTraditionalLanguage relativeHumidity "相對濕度")	domainEnglishFormat.kif 49237-49237
(termFormat EnglishLanguage relativeHumidity "relative humidity")	domainEnglishFormat.kif 49236-49236

antecedent

(=>
    (relativeHumidity ?PLACE 1)
    (exists (?FALLING)
        (and
            (instance ?FALLING Precipitation)
            (eventLocated ?FALLING ?PLACE))))

Weather.kif 645-650

If 1 is a relative humidity of an object,
then there exists a process such that the process is an instance of precipitation and the process is located at 2