Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

Sigma KEE - Snowing
Snowing(snowing)
crud, flurry, snow, snow_flurry, snowfall

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


(documentation Snowing ChineseLanguage "Snowing 是一种 Precipitation Process, 当中 WaterSolid 状态的 MonoCrystalline Ice下坠。") Weather.kif 1365-1366
(documentation Snowing EnglishLanguage "Snowing is a Precipitation Process in which Water falls in a Solid state, as MonoCrystalline Ice.") Weather.kif 1362-1363
(externalImage Snowing "http://farm1.static.flickr.com/186/453132830_e6b61089e7_m.jpg") pictureList.kif 1007-1007
(subclass Snowing Precipitation) Weather.kif 1370-1370 Snowing is a subclass of precipitation

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


(termFormat ChineseLanguage Snowing "下雪") domainEnglishFormat.kif 53568-53568
(termFormat ChineseLanguage Snowing "降雪") Weather.kif 1368-1368
(termFormat ChineseTraditionalLanguage Snowing "下雪") domainEnglishFormat.kif 53567-53567
(termFormat EnglishLanguage Snowing "snowing") domainEnglishFormat.kif 53566-53566

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


(=>
    (instance ?PROCESS Snowing)
    (exists (?SNOW)
        (and
            (instance ?SNOW Snow)
            (objectTransferred ?PROCESS ?SNOW))))
Weather.kif 3827-3832
(=>
    (instance ?PROCESS Snowing)
    (precipitationState ?PROCESS Solid))
Weather.kif 1372-1374
(=>
    (instance ?SNOW Snowing)
    (exists (?CLTN ?I)
        (and
            (instance ?CLTN Collection)
            (instance ?I Ice)
            (attribute ?I MonoCrystalline)
            (member ?I ?CLTN)
            (objectTransferred ?SNOW ?CLTN))))
Weather.kif 1376-1384

consequent
-------------------------


(=>
    (instance ?BLIZZARD Blizzard)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Snowing)
            (subProcess ?PROCESS ?BLIZZARD))))
Weather.kif 3449-3454
(=>
    (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 1063-1072
(=>
    (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.0)))))
Weather.kif 3770-3785
(=>
    (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 3865-3892


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 is open source software produced by Articulate Software and its partners