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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WindFlow
WindFlow(wind flow)airstream

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


(documentation WindFlow EnglishLanguage "WindFlow is the class of variable AirStreams that are in the EarthsAtmosphere. It is also known as air currents which are concentrated areas of winds.") Weather.kif 84-86
(subclass WindFlow AirStream) Weather.kif 82-82 Wind flow is a subclass of air stream

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


(termFormat ChineseLanguage WindFlow "大气气流") Weather.kif 88-88
(termFormat EnglishLanguage WindFlow "wind flow") Weather.kif 87-87

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


(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (elevation ?ZEPHYR
            (MeasureFn ?X FootLength))
        (lessThanOrEqualTo ?X 500.0)
        (measure ?ZEPHYR
            (SpeedFn ?DIST ?TIME)))
    (surfaceWindSpeed ?PLACE
        (SpeedFn ?DIST ?TIME)))
Weather.kif 136-145
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (measure ?ZEPHYR
            (MeasureFn ?SPEED KnotUnitOfSpeed)))
    (surfaceWindSpeed ?PLACE
        (MeasureFn ?SPEED KnotUnitOfSpeed)))
Weather.kif 147-153
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (measure ?ZEPHYR
            (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD))
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))
Weather.kif 182-187
(=>
    (and
        (surfaceWindVelocity ?PLACE
            (SpeedFn ?DIST ?TIME) ?DIRECTION)
        (instance ?PLACE WindFlow))
    (exists (?BLOW)
        (and
            (instance ?BLOW Wind)
            (eventPartlyLocated ?BLOW ?PLACE)
            (measure ?BLOW
                (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))))
Weather.kif 115-123
(=>
    (instance ?BLOW WindFlow)
    (located ?BLOW EarthsAtmosphere))
Weather.kif 90-92
(=>
    (instance ?R WindFlow)
    (exists (?WIND)
        (and
            (instance ?WIND Wind)
            (eventLocated ?WIND ?R))))
Weather.kif 94-99

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


(=>
    (instance ?WS WeatherSystem)
    (exists (?MOVE ?WF)
        (and
            (instance ?MOVE Translocation)
            (instance ?WF WindFlow)
            (patient ?MOVE ?WF)
            (subProcess ?MOVE ?WS))))
Weather.kif 511-518


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