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 639-644
(domain relativeHumidity 1 Object) Weather.kif 636-636
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 637-637
(instance relativeHumidity AsymmetricRelation) Weather.kif 635-635
(instance relativeHumidity BinaryPredicate) Weather.kif 634-634

appearance as argument number 2
-------------------------


(format EnglishLanguage relativeHumidity "%2 is %n a relative humidity of %1") domainEnglishFormat.kif 543-543
(termFormat EnglishLanguage relativeHumidity "relative humidity") domainEnglishFormat.kif 8647-8647

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


(=>
    (relativeHumidity ?PLACE 1)
    (exists (?FALLING)
        (and
            (instance ?FALLING Precipitation)
            (eventLocated ?FALLING ?PLACE))))
Weather.kif 646-651


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