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, 当中 WaterSolid 状态的 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 ?PROCESS Snowing)
    (precipitationState ?PROCESS Solid))
Weather.kif 748-750
(=>
    (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

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


(=>
    (instance ?BLIZZARD Blizzard)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Snowing)
            (subProcess ?PROCESS ?BLIZZARD))))
Weather.kif 1119-1124
(=>
    (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 ?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
(=>
    (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


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