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(raining)

cloudburst, deluge, downpour, drizzle, mizzle, pelter, rain, rain_down, rain_shower, raindrop, rainfall, raining, rainstorm, shower, soaker, thundershower, torrent, virga, waterspout, 下雨, 降雨

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 661-662
(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 657-659
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ rain.png")	pictureList.kif 2327-2327	"http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ rain.png" is a URL depicting raining
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ showers.png")	pictureList.kif 1947-1947	"http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ umbrella/ showers.png" is a URL depicting raining
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ umbrlla_rain.png")	pictureList.kif 2326-2326	"http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ umbrella/ umbrlla_rain.png" is a URL depicting raining
(subclass Raining Precipitation)	Weather.kif 655-655	Raining is a subclass of precipitation

appearance as argument number 2

(subclass AcidRainfall Raining)	Geography.kif 2422-2422	Acid rainfall is a subclass of raining
(subclass Drizzling Raining)	Weather.kif 1212-1212	Drizzling is a subclass of raining
(subclass HeavyRaining Raining)	Weather.kif 719-719	Heavy raining is a subclass of raining
(subclass RainShowering Raining)	Weather.kif 1288-1288	Rain showering is a subclass of raining
(termFormat ChineseLanguage Raining "下雨")	domainEnglishFormat.kif 48631-48631	"下雨" is the printable form of raining in ChineseLanguage
(termFormat ChineseLanguage Raining "降雨")	Weather.kif 664-664	"降雨" is the printable form of raining in ChineseLanguage
(termFormat ChineseTraditionalLanguage Raining "下雨")	domainEnglishFormat.kif 48630-48630	"下雨" is the printable form of raining in ChineseTraditionalLanguage
(termFormat EnglishLanguage Raining "raining")	domainEnglishFormat.kif 48629-48629	"raining" is the printable form of raining in english language

antecedent

(=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN))))	Weather.kif 1405-1410	If a transfer is an instance of raining, then there exists an object such that the object is an instance of rain and the object transferred in the transfer is the object
(=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid))	Weather.kif 666-668	If a weather process is an instance of raining, then liquid is a precipitation state of the weather process
(=> (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 670-682	If a transfer is an instance of raining, then there exist a collection and a kind of object such that the collection is an instance of collection and a kind of object is an instance of water and the kind of object is an instance of liquid drop and the kind of object is a member of the collection and the object transferred in the transfer is the collection and the minimum expected radius of the kind of object is 0.1 millimeter(s) and the maximum expected radius of the kind of object is 9 millimeter(s)

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 908-919	If a time interval is an instance of drought and the time interval is located at 2, then there don't exist another time interval and an object such that the other time interval is an instance of raining and the object is an instance of region and the other time interval is located at 2 and overlaps spatially the object and an entity and the time interval overlaps the other time interval
(=> (instance ?DRIZZLE Drizzling) (exists (?RAIN ?CLTN ?R ?SIZE) (and (instance ?RAIN Raining) (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (approximateDiameter ?R (MeasureFn ?SIZE Millimeter)) (modalAttribute (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 1214-1227	If an entity is an instance of drizzling, then there exist a transfer, a collection,, , a self connected object and a real number such that the transfer is an instance of raining and the collection is an instance of collection and the self connected object is an instance of water and the self connected object is an instance of liquid drop and the self connected object is a member of the collection and the object transferred in the transfer is the collection and the approximate diameter of the self connected object is the real number millimeter(s) and the statement the real number is less than or equal to 0.5 has the modal force of likely
(=> (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 1290-1304	If a physical is an instance of rain showering, then there exist an entity, another entity and a third entity such that the entity is an instance of raining and the other entity is an instance of raining and the third entity is an instance of region and the entity is a subprocess of the physical and the other entity is a subprocess of the physical and the entity is located at 2 and the other entity is located at 2 and the time of existence of the other entity doesn't overlap the time of existence of the entity holds during the time of existence of the physical
(=> (rainfallIntensity ?AREA ?TIME ?RATE) (exists (?RAIN ?CTLN ?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 1250-1275	If the rate of rain in a geographic area during a time interval is a function quantity, then there exist a transfer, an entity,, , an object,, , a self connected object,, , another entity,, , another self connected object and the transferFALL such that the transfer is an instance of raining and the transfer is located at 2 and the time of existence of the transfer takes place during the time interval and a collection is an instance of collection and the object transferred in the transfer is the collection and the object is an instance of water and the object is a member of the collection and the self connected object is an instance of container and the bottom of the self connected object is the other self connected object and flat is an attribute of the other self connected object and the self connected object is located at the geographic area and container empty is an attribute of the self connected object holds during the beginning of the time interval and the collection is located at the self connected object and the top of the collection is the other entity and the depth from the other entity to the other self connected object is the transferFALL and the transferFALL is equal to the time interval and the function quantity holds during the end of the time interval

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