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

Formal Language: 



KB Term:  Term intersection
English Word: 

  relativeHumidity

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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