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

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


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

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


(subclass ChinookWind Wind) Weather.kif 876-876 Chinook wind is a subclass of wind
(subclass Ghibli Wind) Weather.kif 875-875 Ghibli is a subclass of wind
(subclass HarmattanWind Wind) Weather.kif 872-872 Harmattan wind is a subclass of wind
(subclass Khamsin Wind) Weather.kif 873-873 Khamsin is a subclass of wind
(subclass Mistral Wind) Weather.kif 874-874 Mistral is a subclass of wind
(subclass Sirocco Wind) Weather.kif 871-871 Sirocco is a subclass of wind
(subclass StrongWind Wind) Weather.kif 870-870 Strong wind is a subclass of wind
(subclass Windstorm Wind) Weather.kif 869-869 Windstorm is a subclass of wind
(termFormat EnglishLanguage Wind "wind") domainEnglishFormat.kif 10941-10941 "wind" is the printable form of wind in english language

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


(=>
    (and
        (instance ?PLACE Object)
        (instance ?BLOW Wind)
        (measure ?BLOW
            (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
    (surfaceWindVelocity ?PLACE
        (SpeedFn ?DIST ?TIME) ?DIRECTION))
Weather.kif 116-121
(=>
    (instance ?WIND Wind)
    (exists (?AIR)
        (and
            (patient ?WIND ?AIR)
            (instance ?AIR Air))))
Merge.kif 14925-14930

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


(=>
    (and
        (instance ?BN BeaufortNumber)
        (attribute ?OBJECT ?BN))
    (instance ?OBJECT Wind))
Weather.kif 313-317
(=>
    (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 106-114
(=>
    (instance ?F FanDevice)
    (hasPurpose ?F
        (exists (?W)
            (and
                (instance ?W Wind)
                (instrument ?W ?F)))))
Mid-level-ontology.kif 2758-2764
(=>
    (instance ?R WindFlow)
    (exists (?WIND)
        (and
            (instance ?WIND Wind)
            (eventLocated ?WIND ?R))))
Weather.kif 85-90
(=>
    (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 1154-1165
(=>
    (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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners