Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  HeavyRaining

 Sigma KEE - HeavyRaining
HeavyRaining(heavy raining)

appearance as argument number 1
-------------------------


(documentation HeavyRaining EnglishLanguage "HeavyRaining is rainfallIntensity between 10-50 Millimeter per HourDuration.") Weather.kif 1780-1781
(documentation HeavyRaining ChineseLanguage "HeavyRaining 是降雨量介乎于每小时10-50 Millimeter 之间。") Weather.kif 1782-1783
(subclass HeavyRaining Raining) Weather.kif 1787-1787 Heavy raining is a subclass of raining

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


(termFormat ChineseLanguage HeavyRaining "大降雨") Weather.kif 1785-1785
(termFormat EnglishLanguage HeavyRaining "heavy raining") domainEnglishFormat.kif 27842-27842
(termFormat ChineseTraditionalLanguage HeavyRaining "大雨") domainEnglishFormat.kif 27843-27843
(termFormat ChineseLanguage HeavyRaining "大雨") domainEnglishFormat.kif 27844-27844

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


(=>
    (instance ?HR HeavyRaining)
    (holdsDuring
        (WhenFn ?HR)
        (exists (?AREA ?NUM)
            (and
                (instance ?AREA Region)
                (eventLocated ?HR ?AREA)
                (rainfallIntensity ?AREA
                    (WhenFn ?HR)
                    (PerFn
                        (MeasureFn ?NUM Millimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 10.0)
                (greaterThan 50.0 ?NUM)))))		 Weather.kif 1789-1803 If X is an instance of heavy raining, then there exist Y and Z such that Y is an instance of region and X is located at Y and the rate of rain in Y during the time of existence of X is the per of Z millimeter(s) and 1 hour duration(s) and Z is greater than 10.0 and 50.0 is greater than Z holds during the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners