TreeView Knowledge Base Browser - 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 108-113
(domain surfaceWindVelocity 1 Object)	Weather.kif 104-104
(domain surfaceWindVelocity 2 PhysicalQuantity)	Weather.kif 105-105
(domain surfaceWindVelocity 3 DirectionalAttribute)	Weather.kif 106-106
(instance surfaceWindVelocity TernaryPredicate)	Weather.kif 103-103

appearance as argument number 2

(format ChineseLanguage surfaceWindVelocity "%1 %n 是对于 %3 的 surface 风速率 %2 ")	domainEnglishFormat.kif 2427-2427
(format ChineseTraditionalLanguage surfaceWindVelocity "%1 %n 是對於 %3 的 surface 風速率 %2 ")	domainEnglishFormat.kif 2426-2426
(format EnglishLanguage surfaceWindVelocity "%1 is %n surface wind velocity %2 for %3")	domainEnglishFormat.kif 2425-2425
(termFormat ChineseLanguage surfaceWindVelocity "地面风速率")	domainEnglishFormat.kif 56331-56331
(termFormat ChineseTraditionalLanguage surfaceWindVelocity "地面風速率")	domainEnglishFormat.kif 56330-56330
(termFormat EnglishLanguage surfaceWindVelocity "surface wind velocity")	domainEnglishFormat.kif 56329-56329

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
(=> (and (surfaceWindVelocity ?PLACE ?SPEED ?DIR-TOWARD) (oppositeDirection ?DIR-TOWARD ?DIR-FROM)) (surfaceWindDirection ?PLACE ?DIR-FROM))	Weather.kif 176-180
(=> (surfaceWindVelocity ?PLACE ?SPEED ?DIRECTION) (surfaceWindSpeed ?PLACE ?SPEED))	Weather.kif 132-134

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: