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 "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ showers.png")	pictureList.kif 1947-1947
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ umbrlla_rain.png")	pictureList.kif 2326-2326
(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 1527-1527	subclass Drizzling and Raining
(subclass HeavyRaining Raining)	Weather.kif 718-718	subclass HeavyRaining and Raining
(subclass RainShowering Raining)	Weather.kif 1602-1602	subclass RainShowering and Raining
(termFormat ChineseLanguage Raining "下雨")	domainEnglishFormat.kif 48611-48611
(termFormat ChineseLanguage Raining "降雨")	Weather.kif 663-663
(termFormat ChineseTraditionalLanguage Raining "下雨")	domainEnglishFormat.kif 48610-48610
(termFormat EnglishLanguage Raining "raining")	domainEnglishFormat.kif 48609-48609

antecedent

(=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN))))	Weather.kif 1719-1724	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 1202-1213	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 1604-1618	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 1564-1589	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 3.0 is open source software produced by Articulate Software and its partners