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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Snowing

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 1130-1131
(documentation Snowing EnglishLanguage "Snowing is a Precipitation Process in which Water falls in a Solid state, as MonoCrystalline Ice.") Weather.kif 1127-1128
(externalImage Snowing "http://farm1.static.flickr.com/186/453132830_e6b61089e7_m.jpg") pictureList.kif 1007-1007
(subclass Snowing Precipitation) Weather.kif 1135-1135 Snowing is a subclass of precipitation

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


(termFormat ChineseLanguage Snowing "下雪") domainEnglishFormat.kif 53564-53564
(termFormat ChineseLanguage Snowing "降雪") Weather.kif 1133-1133
(termFormat ChineseTraditionalLanguage Snowing "下雪") domainEnglishFormat.kif 53563-53563
(termFormat EnglishLanguage Snowing "snowing") domainEnglishFormat.kif 53562-53562

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


(=>
    (instance ?PROCESS Snowing)
    (exists (?SNOW)
        (and
            (instance ?SNOW Snow)
            (objectTransferred ?PROCESS ?SNOW))))
Weather.kif 2997-3002
(=>
    (instance ?PROCESS Snowing)
    (precipitationState ?PROCESS Solid))
Weather.kif 1137-1139
(=>
    (instance ?SNOW Snowing)
    (exists (?CLTN ?I)
        (and
            (instance ?CLTN Collection)
            (instance ?I Ice)
            (attribute ?I MonoCrystalline)
            (member ?I ?CLTN)
            (objectTransferred ?SNOW ?CLTN))))
Weather.kif 1141-1149

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


(=>
    (instance ?BLIZZARD Blizzard)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Snowing)
            (subProcess ?PROCESS ?BLIZZARD))))
Weather.kif 2620-2625
(=>
    (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 1049-1058
(=>
    (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 2940-2955
(=>
    (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 3035-3062


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