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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - surfaceWindVelocity
surfaceWindVelocity

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


(documentation surfaceWindVelocity EnglishLanguage "(surfaceWindVelocity ?PLACE ?SPEED ?TOWARD) means that the surface Wind blowing at ?PLACE has a speed of ?SPEED and is moving toward the DirectionalAttribute ?TOWARD. Surface wind is found at the surface of the planet, everyday wind. Technically, Winds moving through the atmosphere up to an altitude of 500 feet.") Weather.kif 98-103
(domain surfaceWindVelocity 1 Object) Weather.kif 94-94 The number 1 argument of surfaceWindVelocity is an instance of object
(domain surfaceWindVelocity 2 PhysicalQuantity) Weather.kif 95-95 The number 2 argument of surfaceWindVelocity is an instance of physical quantity
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 96-96 The number 3 argument of surfaceWindVelocity is an instance of directional attribute
(instance surfaceWindVelocity TernaryPredicate) Weather.kif 93-93 surfaceWindVelocity is an instance of ternary predicate

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


(=>
    (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 105-113
(=>
    (and
        (surfaceWindVelocity ?PLACE ?SPEED ?DIR-TOWARD)
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))
Weather.kif 175-179
(=>
    (surfaceWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (surfaceWindSpeed ?PLACE ?SPEED))
Weather.kif 134-136

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


(=>
    (and
        (instance ?PLACE Object)
        (instance ?BLOW Wind)
        (measure ?BLOW
            (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
    (surfaceWindVelocity ?PLACE
        (SpeedFn ?DIST ?TIME) ?DIRECTION))
Weather.kif 115-120


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