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 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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners