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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wind

Sigma KEE - Wind
Wind(wind)
Santa_Ana, air, air_current, be_adrift, blast, blow, breeze, catabatic_wind, current_of_air, drift, float, foehn, fohn, gale, gentle_wind, gust, high_wind, katabatic_wind, khamsin, prevailing_westerly, south_wind, souther, southerly, waft, west_wind, wester, westerly, whirlwind, wind, zephyr

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


(documentation Wind ChineseLanguage "这是 Air 的任何 Motion。") chinese_format.kif 3027-3027
(documentation Wind EnglishLanguage "Any Motion of Air.") Merge.kif 11127-11127
(externalImage Wind "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Cessna_182_model-wingtip-vortex.jpg") pictureList.kif 2065-2065
(externalImage Wind "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ wind.png") pictureList.kif 839-839
(subclass Wind GasMotion) Merge.kif 11125-11125 Wind is a subclass of gas motion
(subclass Wind WeatherProcess) Weather.kif 1240-1240 Wind is a subclass of weather process

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


(subclass ChinookWind Wind) Weather.kif 1248-1248 Chinook wind is a subclass of wind
(subclass Ghibli Wind) Weather.kif 1247-1247 Ghibli is a subclass of wind
(subclass HarmattanWind Wind) Weather.kif 1244-1244 Harmattan wind is a subclass of wind
(subclass Khamsin Wind) Weather.kif 1245-1245 Khamsin is a subclass of wind
(subclass Mistral Wind) Weather.kif 1246-1246 Mistral is a subclass of wind
(subclass Sirocco Wind) Weather.kif 1243-1243 Sirocco is a subclass of wind
(subclass StrongWind Wind) Weather.kif 1242-1242 Strong wind is a subclass of wind
(termFormat ChineseLanguage Wind "风") domainEnglishFormat.kif 63066-63066
(termFormat ChineseTraditionalLanguage Wind "風") domainEnglishFormat.kif 63065-63065
(termFormat EnglishLanguage Wind "wind") domainEnglishFormat.kif 63064-63064

appearance as argument number 3
-------------------------


(domain windDrivenMotion 1 Wind) Weather.kif 327-327 The number 1 argument of wind driven motion is an instance of wind

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


(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30.0)
            (instance ?TRANSLOCATE Translocation)
            (subProcess ?TRANSLOCATE ?DUSTSTORM)
            (objectTransferred ?TRANSLOCATE ?PM)
            (objectTransferred ?TRANSLOCATE ?SAND)
            (instance ?PM ParticulateMatter)
            (instance ?SAND Sand)
            (instance ?A2 LandArea)
            (destination ?TRANSLOCATE ?A2)
            (not
                (overlapsSpatially ?A1 ?A2)))))
Weather.kif 1274-1295
(=>
    (and
        (instance ?PLACE Object)
        (instance ?BLOW Wind)
        (measure ?BLOW
            (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
    (surfaceWindVelocity ?PLACE
        (SpeedFn ?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumber12)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN)))
    (exists (?SPEED)
        (and
            (greaterThan ?SPEED 73.0)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED MilesPerHour))))))
Weather.kif 484-496
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumberAttribute)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN))
        (speedScaleAttributeMinMax ?BN
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?SPEED)
        (and
            (greaterThanOrEqualTo ?SPEED ?MIN)
            (lessThanOrEqualTo ?SPEED ?MAX)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED ?U))))))
Weather.kif 349-366
(=>
    (instance ?WIND Wind)
    (exists (?AIR)
        (and
            (patient ?WIND ?AIR)
            (instance ?AIR Air))))
Merge.kif 14528-14533

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


(=>
    (and
        (instance ?BN BeaufortNumberAttribute)
        (property ?X ?BN))
    (instance ?X Wind))
Weather.kif 343-347
(=>
    (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
(=>
    (instance ?F FanDevice)
    (hasPurpose ?F
        (exists (?W)
            (and
                (instance ?W Wind)
                (instrument ?W ?F)))))
Mid-level-ontology.kif 2252-2258
(=>
    (instance ?R WindFlow)
    (exists (?WIND)
        (and
            (instance ?WIND Wind)
            (eventLocated ?WIND ?R))))
Weather.kif 94-99
(=>
    (instance ?X WindSurfing)
    (exists (?BOARD ?WATER ?MOTION ?WIND)
        (and
            (instance ?BOARD WindSurfingBoard)
            (instance ?WATER WaterArea)
            (instance ?WIND Wind)
            (instance ?MOTION Motion)
            (eventLocated ?X ?WATER)
            (subProcess ?MOTION ?X)
            (instrument ?MOTION ?BOARD)
            (causes ?WIND ?MOTION))))
Sports.kif 1232-1243
(=>
    (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 178-186


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

Show without tree


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