Raining - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Raining

Raining

VerbNet: weather-57|rain, weather-57|rain,

appearance as argument number 1

(documentation Raining ChineseLanguage "Raining 是一种 Precipitation Process，当中 Water 以 Liquid 状态下坠，雨点的 approximateDiameter 介乎 0.1-9 Millmeter。")	Weather.kif 660-661
(documentation Raining EnglishLanguage "Raining is a Precipitation Process in which Water falls in a Liquid state. The size of an raindrop is between 0.1-9 Millimeter in approximateDiameter. ")	Weather.kif 656-658
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ rain.png")	pictureList.kif 2327-2327	externalImage Raining and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ rain.png"
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ showers.png")	pictureList.kif 1947-1947	externalImage Raining and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ umbrella/ showers.png"
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ umbrlla_rain.png")	pictureList.kif 2326-2326	externalImage Raining and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ umbrella/ umbrlla_rain.png"
(subclass Raining Precipitation)	Weather.kif 654-654	subclass Raining and Precipitation

appearance as argument number 2

(subclass AcidRainfall Raining)	Geography.kif 2434-2434	subclass AcidRainfall and Raining
(subclass Drizzling Raining)	Weather.kif 1309-1309	subclass Drizzling and Raining
(subclass HeavyRaining Raining)	Weather.kif 718-718	subclass HeavyRaining and Raining
(subclass RainShowering Raining)	Weather.kif 1384-1384	subclass RainShowering and Raining
(termFormat ChineseLanguage Raining "下雨")	domainEnglishFormat.kif 48631-48631	termFormat ChineseLanguage, Raining and "下雨"
(termFormat ChineseLanguage Raining "降雨")	Weather.kif 663-663	termFormat ChineseLanguage, Raining and "降雨"
(termFormat ChineseTraditionalLanguage Raining "下雨")	domainEnglishFormat.kif 48630-48630	termFormat ChineseTraditionalLanguage, Raining and "下雨"
(termFormat EnglishLanguage Raining "raining")	domainEnglishFormat.kif 48629-48629	termFormat EnglishLanguage, Raining and "raining"

antecedent

(=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN))))	Weather.kif 1501-1506	instance Transfer and Raining Object instance Object and Rain objectTransferred Transfer and Object
(=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid))	Weather.kif 665-667	instance WeatherProcess and Raining precipitationState WeatherProcess and Liquid
(=> (instance ?RAIN Raining) (exists (?CLTN ?R) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?R (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?R (MeasureFn 9 Millimeter)))))	Weather.kif 669-681	instance Transfer and Raining Collection Object instance Collection and Collection instance Object and Water instance Object and LiquidDrop member Object and Collection objectTransferred Transfer and Collection defaultMinimumSphereRadius Object and MeasureFn 0.1 and Millimeter defaultMaximumSphereRadius Object and MeasureFn 9 and Millimeter

consequent

(=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL)))))	Weather.kif 985-996	instance TimeInterval and Drought eventLocated TimeInterval and Entity TimeInterval Object instance TimeInterval and Raining instance Object and Region eventLocated TimeInterval and Object overlapsSpatially Object and Entity overlapsTemporally TimeInterval and TimeInterval
(=> (instance ?SHOWER RainShowering) (holdsDuring (WhenFn ?SHOWER) (exists (?RAIN1 ?RAIN2 ?AREA) (and (instance ?RAIN1 Raining) (instance ?RAIN2 Raining) (instance ?AREA Region) (subProcess ?RAIN1 ?SHOWER) (subProcess ?RAIN2 ?SHOWER) (eventLocated ?RAIN1 ?AREA) (eventLocated ?RAIN2 ?AREA) (not (overlapsTemporally (WhenFn ?RAIN1) (WhenFn ?RAIN2)))))))	Weather.kif 1386-1400	instance Physical and RainShowering holdsDuring WhenFn Physical and entity entity and entity instance entity and Raining instance entity and Raining instance entity and Region subProcess entity and Physical subProcess entity and Physical eventLocated entity and entity eventLocated entity and entity overlapsTemporally WhenFn entity and WhenFn entity
(=> (rainfallIntensity ?AREA ?TIME ?RATE) (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL) (and (instance ?RAIN Raining) (eventLocated ?RAIN ?AREA) (during (WhenFn ?RAIN) ?TIME) (instance ?CLTN Collection) (objectTransferred ?RAIN ?CLTN) (instance ?R Water) (member ?R ?CLTN) (instance ?BUCKET Container) (bottom ?BOTTOM ?BUCKET) (attribute ?BOTTOM Flat) (located ?BUCKET ?AREA) (holdsDuring (BeginFn ?TIME) (attribute ?BUCKET ContainerEmpty)) (holdsDuring (EndFn ?TIME) (and (located ?CLTN ?BUCKET) (top ?TOP ?CLTN) (depth ?TOP ?BOTTOM ?RAINFALL) (equal ?RAINFALL (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 1346-1371	rainfallIntensity GeographicArea, TimeInterval and FunctionQuantity Transfer Collection, Object, SelfConnectedObject, entity, SelfConnectedObject and TransferFALL instance Transfer and Raining eventLocated Transfer and GeographicArea during WhenFn Transfer and TimeInterval instance Collection and Collection objectTransferred Transfer and Collection instance Object and Water member Object and Collection instance SelfConnectedObject and Container bottom SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and Flat located SelfConnectedObject and GeographicArea holdsDuring BeginFn TimeInterval and attribute SelfConnectedObject and ContainerEmpty holdsDuring EndFn TimeInterval and located Collection and SelfConnectedObject top entity and Collection depth entity, SelfConnectedObject and TransferFALL equal TransferFALL and MultiplicationFn TimeInterval and FunctionQuantity

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