surfaceWindDirection - Sigma Knowledge base Browser

appearance as argument number 1

(documentation surfaceWindDirection EnglishLanguage "(surfaceWindDirection ?PLACE ?DIRECTION) means that at ?PLACE the wind is coming from the compass point ?DIRECTION. For example, (surfaceWindDirection SanFranciscoBay Northwest) means that the wind in San Francisco Bay is coming from the Northwest. The wind is within 500 feet of Earth's surface.")	Weather.kif 159-164
(domain surfaceWindDirection 1 Object)	Weather.kif 156-156	The number 1 argument of surface wind direction is an instance of object
(domain surfaceWindDirection 2 DirectionalAttribute)	Weather.kif 157-157	The number 2 argument of surface wind direction is an instance of directional attribute
(instance surfaceWindDirection BinaryPredicate)	Weather.kif 155-155	surface wind direction is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage surfaceWindDirection "%2 %n 是 %1 的 surface 风向")	domainEnglishFormat.kif 2419-2419
(format ChineseTraditionalLanguage surfaceWindDirection "%2 %n 是 %1 的 surface 風向")	domainEnglishFormat.kif 2418-2418
(format EnglishLanguage surfaceWindDirection "%2 is %n a surface wind direction of %1")	domainEnglishFormat.kif 2417-2417
(termFormat ChineseLanguage surfaceWindDirection "地面风向")	domainEnglishFormat.kif 56352-56352
(termFormat ChineseTraditionalLanguage surfaceWindDirection "地面風向")	domainEnglishFormat.kif 56351-56351
(termFormat EnglishLanguage surfaceWindDirection "surface wind direction")	domainEnglishFormat.kif 56350-56350

antecedent

(=>
    (surfaceWindDirection ?PLACE ?DIR)
    (exists (?WIND ?FROM)
        (and
            (instance ?WIND Wind)
            (instance ?FROM Region)
            (eventPartlyLocated ?WIND ?PLACE)
            (origin ?WIND ?FROM)
            (orientation ?FROM ?PLACE ?DIR))))

Weather.kif 166-174

If a directional attribute is a surface wind direction of an object,
then there exist a process and another object such that the process is an instance of wind and the other object is an instance of region and the process is partly located at the object and the process originates at the other object and the other object is the directional attribute to the object

consequent

(=> (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	If a physical is an instance of wind flow and the measure of the physical is a length measure per a time duration in a region in the direction an entity-TOWARD and the entity-FROM is an opposite direction of the entity-TOWARD, then the entity-FROM is a surface wind direction of the region
(=> (and (surfaceWindVelocity ?PLACE ?SPEED ?DIR-TOWARD) (oppositeDirection ?DIR-TOWARD ?DIR-FROM)) (surfaceWindDirection ?PLACE ?DIR-FROM))	Weather.kif 176-180	If an object is surface wind velocity a physical quantity for an entity-TOWARD and the entity-FROM is an opposite direction of the entity-TOWARD, then the entity-FROM is a surface wind direction of the object

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

KB Term:			Term intersection

English Word: