Snowing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Snowing

Snowing

VerbNet: weather-57|snow,

appearance as argument number 1

(documentation Snowing ChineseLanguage "Snowing 是一种 Precipitation Process，当中 Water 以 Solid 状态的 MonoCrystalline Ice下坠。")	Weather.kif 741-742
(documentation Snowing EnglishLanguage "Snowing is a Precipitation Process in which Water falls in a Solid state, as MonoCrystalline Ice.")	Weather.kif 738-739
(externalImage Snowing "http://farm1.static.flickr.com/186/453132830_e6b61089e7_m.jpg")	pictureList.kif 1008-1008	externalImage Snowing and "http://farm1.static.flickr.com/186/453132830_e6b61089e7_m.jpg"
(subclass Snowing Precipitation)	Weather.kif 746-746	subclass Snowing and Precipitation

appearance as argument number 2

(termFormat ChineseLanguage Snowing "下雪")	domainEnglishFormat.kif 53503-53503	termFormat ChineseLanguage, Snowing and "下雪"
(termFormat ChineseLanguage Snowing "降雪")	Weather.kif 744-744	termFormat ChineseLanguage, Snowing and "降雪"
(termFormat ChineseTraditionalLanguage Snowing "下雪")	domainEnglishFormat.kif 53502-53502	termFormat ChineseTraditionalLanguage, Snowing and "下雪"
(termFormat EnglishLanguage Snowing "snowing")	domainEnglishFormat.kif 53501-53501	termFormat EnglishLanguage, Snowing and "snowing"

antecedent

(=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW))))	Weather.kif 1543-1548	instance Transfer and Snowing Object instance Object and Snow objectTransferred Transfer and Object
(=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid))	Weather.kif 748-750	instance WeatherProcess and Snowing precipitationState WeatherProcess and Solid
(=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN))))	Weather.kif 752-760	instance Transfer and Snowing Collection Object instance Collection and Collection instance Object and Ice attribute Object and MonoCrystalline member Object and Collection objectTransferred Transfer and Collection

consequent

(=> (instance ?BLIZZARD Blizzard) (exists (?PROCESS) (and (instance ?PROCESS Snowing) (subProcess ?PROCESS ?BLIZZARD))))	Weather.kif 1119-1124	instance Process and Blizzard Process instance Process and Snowing subProcess Process and Process
(=> (instance ?SKI SnowSki) (hasPurpose ?SKI (exists (?GLIDE ?SNOW ?ICE) (and (instance ?SNOW Snowing) (result ?SNOW ?ICE) (instance ?GLIDE Transportation) (instrument ?GLIDE ?SKI) (eventLocated ?GLIDE ?ICE)))))	Sports.kif 901-910	instance Physical and SnowSki hasPurpose Physical and entity entity and entity instance entity and Snowing result entity and entity instance entity and Transportation instrument entity and Physical eventLocated entity and entity
(=> (instance ?SNOWSTORM Snowstorm) (holdsDuring (WhenFn ?SNOWSTORM) (exists (?SNOW ?AREA ?NUM) (and (instance ?SNOW Snowing) (instance ?AREA GeographicArea) (eventLocated ?SNOW ?AREA) (subProcess ?SNOW ?SNOWSTORM) (snowfallIntensity ?AREA (WhenFn ?SNOW) (PerFn (MeasureFn ?NUM Centimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 5)))))	Weather.kif 1471-1486	instance Physical and Snowstorm holdsDuring WhenFn Physical and entity entity and entity instance entity and Snowing instance entity and GeographicArea eventLocated entity and entity subProcess entity and Physical snowfallIntensity entity, WhenFn entity and PerFn MeasureFn entity and Centimeter and MeasureFn 1 and HourDuration greaterThan entity and 5
(=> (snowfallIntensity ?AREA ?TIME ?RATE) (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL) (and (instance ?PROCESS Snowing) (eventLocated ?PROCESS ?AREA) (during (WhenFn ?PROCESS) ?TIME) (instance ?STUFF Snow) (objectTransferred ?PROCESS ?STUFF) (instance ?BOARD BoardOrBlock) (bottom ?BOTTOM ?BOARD) (attribute ?BOTTOM Flat) (located ?BOARD ?AREA) (holdsDuring (BeginFn ?TIME) (not (exists (?X) (and (instance ?X Object) (located ?X ?BOARD))))) (holdsDuring (EndFn ?TIME) (and (located ?STUFF ?BOARD) (top ?TOP ?STUFF) (depth ?TOP ?BOTTOM ?SNOWFALL) (equal ?SNOWFALL (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 1593-1620	snowfallIntensity GeographicArea, TimeInterval and FunctionQuantity Transfer Object, SelfConnectedObject, entity, SelfConnectedObject and entity instance Transfer and Snowing eventLocated Transfer and GeographicArea during WhenFn Transfer and TimeInterval instance Object and Snow objectTransferred Transfer and Object instance SelfConnectedObject and BoardOrBlock bottom SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and Flat located SelfConnectedObject and GeographicArea holdsDuring BeginFn TimeInterval and entity instance entity and Object located entity and SelfConnectedObject holdsDuring EndFn TimeInterval and located Object and SelfConnectedObject top entity and Object depth entity, SelfConnectedObject and entity equal entity 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