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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

VerbNet: run-51.3.2|float, weather-57|blow, run-51.3.2|float, run-51.3.2|float,


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


(documentation Wind ChineseLanguage "这是 Air 的任何 Motion。") chinese_format.kif 3027-3027
(documentation Wind EnglishLanguage "Any Motion of Air.") Merge.kif 10528-10528
(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 10526-10526 Wind is a subclass of gas motion
(subclass Wind WeatherProcess) Weather.kif 863-863 Wind is a subclass of weather process

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


(subclass ChinookWind Wind) Weather.kif 871-871 Chinook wind is a subclass of wind
(subclass Ghibli Wind) Weather.kif 870-870 Ghibli is a subclass of wind
(subclass HarmattanWind Wind) Weather.kif 867-867 Harmattan wind is a subclass of wind
(subclass Khamsin Wind) Weather.kif 868-868 Khamsin is a subclass of wind
(subclass Mistral Wind) Weather.kif 869-869 Mistral is a subclass of wind
(subclass Sirocco Wind) Weather.kif 866-866 Sirocco is a subclass of wind
(subclass StrongWind Wind) Weather.kif 865-865 Strong wind is a subclass of wind
(subclass Windstorm Wind) Weather.kif 864-864 Windstorm is a subclass of wind
(termFormat ChineseLanguage Wind "风") domainEnglishFormat.kif 63007-63007
(termFormat ChineseLanguage Wind "风过程") domainEnglishFormat.kif 63043-63043
(termFormat ChineseTraditionalLanguage Wind "風") domainEnglishFormat.kif 63006-63006
(termFormat ChineseTraditionalLanguage Wind "風過程") domainEnglishFormat.kif 63042-63042
(termFormat EnglishLanguage Wind "wind") domainEnglishFormat.kif 63041-63041

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


(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?WIND ?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30)
            (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 897-918
(=>
    (and
        (instance ?PLACE Object)
        (instance ?BLOW Wind)
        (measure ?BLOW
            (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
    (surfaceWindVelocity ?PLACE
        (SpeedFn ?DIST ?TIME) ?DIRECTION))
Weather.kif 115-120
(=>
    (instance ?WIND Wind)
    (exists (?AIR)
        (and
            (patient ?WIND ?AIR)
            (instance ?AIR Air))))
Merge.kif 13752-13757

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


(=>
    (and
        (instance ?BN BeaufortNumber)
        (attribute ?OBJECT ?BN))
    (instance ?OBJECT Wind))
Weather.kif 312-316
(=>
    (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 105-113
(=>
    (instance ?F FanDevice)
    (hasPurpose ?F
        (exists (?W)
            (and
                (instance ?W Wind)
                (instrument ?W ?F)))))
Mid-level-ontology.kif 2759-2765
(=>
    (instance ?R WindFlow)
    (exists (?WIND)
        (and
            (instance ?WIND Wind)
            (eventLocated ?WIND ?R))))
Weather.kif 84-89
(=>
    (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 1156-1167
(=>
    (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 165-173


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