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 1026-1031
(domain relativeHumidity 1 Object) Weather.kif 1023-1023
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 1024-1024
(instance relativeHumidity BinaryPredicate) Weather.kif 1022-1022

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 49340-49340
(termFormat ChineseTraditionalLanguage relativeHumidity "相對濕度") domainEnglishFormat.kif 49339-49339
(termFormat EnglishLanguage relativeHumidity "relative humidity") domainEnglishFormat.kif 49338-49338

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


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


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 3.0 is open source software produced by Articulate Software and its partners