Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - surfaceWindVelocity
surfaceWindVelocity

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


(instance surfaceWindVelocity TernaryPredicate) Weather.kif 103-103 surface wind velocity is an instance of ternary predicate
(domain surfaceWindVelocity 1 Object) Weather.kif 104-104 The number 1 argument of surface wind velocity is an instance of object
(domain surfaceWindVelocity 2 PhysicalQuantity) Weather.kif 105-105 The number 2 argument of surface wind velocity is an instance of physical quantity
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 106-106 The number 3 argument of surface wind velocity is an instance of directional attribute
(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 108-113 The number 3 argument of surface wind velocity is an instance of directional attribute

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


(format EnglishLanguage surfaceWindVelocity "%1 is %n surface wind velocity %2 for %3") domainEnglishFormat.kif 2429-2429
(format ChineseTraditionalLanguage surfaceWindVelocity "%1 %n 是 對於 %3 的 surface 風速率 %2 ") domainEnglishFormat.kif 2430-2430
(format ChineseLanguage surfaceWindVelocity "%1 %n 是 对于 %3 的 surface 风速率 %2 ") domainEnglishFormat.kif 2431-2431
(termFormat EnglishLanguage surfaceWindVelocity "surface wind velocity") domainEnglishFormat.kif 56324-56324
(termFormat ChineseTraditionalLanguage surfaceWindVelocity "地面風速率") domainEnglishFormat.kif 56325-56325
(termFormat ChineseLanguage surfaceWindVelocity "地面风速率") domainEnglishFormat.kif 56326-56326

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 115-123 If X is surface wind velocity Y per Z for W and X is an instance of wind flow, then there exists V such that V is an instance of wind, V is partly located at X, and the measure of V is Y per Z in X in the direction W
(=>
    (surfaceWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (surfaceWindSpeed ?PLACE ?SPEED))		 Weather.kif 132-134 If X is surface wind velocity Y for Z, then Y is a surface wind speed of X
(=>
    (and
        (surfaceWindVelocity ?PLACE ?SPEED ?DIR_TOWARD)
        (oppositeDirection ?DIR_TOWARD ?DIR_FROM))
    (surfaceWindDirection ?PLACE ?DIR_FROM))		 Weather.kif 176-180 If X is surface wind velocity Y for ?DIR_TOWARD and ?DIR_FROM is an opposite direction of ?DIR_TOWARD, then ?DIR_FROM is a surface wind direction of X

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


(=>
    (and
        (instance ?PLACE Object)
        (instance ?BLOW Wind)
        (measure ?BLOW
            (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
    (surfaceWindVelocity ?PLACE
        (SpeedFn ?DIST ?TIME) ?DIRECTION))		 Weather.kif 125-130 If X is an instance of object, Y is an instance of wind, and the measure of Y is Z per W in X in the direction V, then X is surface wind velocity Z per W for V


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners