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 108-113
(domain surfaceWindVelocity 1 Object) Weather.kif 104-104 surfaceWindVelocity の数値 1 引数は オブジェクトinstance では %n
(domain surfaceWindVelocity 2 PhysicalQuantity) Weather.kif 105-105 surfaceWindVelocity の数値 2 引数は 物理量instance では %n
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 106-106 surfaceWindVelocity の数値 3 引数は 方向属性instance では %n
(instance surfaceWindVelocity TernaryPredicate) Weather.kif 103-103 surfaceWindVelocity3進述語instance では %n

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 56329-56329
(termFormat ChineseTraditionalLanguage surfaceWindVelocity "地面風速率") domainEnglishFormat.kif 56328-56328
(termFormat EnglishLanguage surfaceWindVelocity "surface wind velocity") domainEnglishFormat.kif 56327-56327

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 188-192
(=>
    (surfaceWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (surfaceWindSpeed ?PLACE ?SPEED))
Weather.kif 144-146

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 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