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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wind

Sigma KEE - Wind
Wind
هواء, رِياح, رِيْح, تيّار هوائِي, إِنْطلق, إِنْبعث, إِنْدفع, إنبعث كالرائحة العطرة, انبعث, انطلق, حمل بخفة, دفع, عام, حلّق, طفا, جرى, احترق, انتشر, انجرف, انحرف, تباهى, تدفعه الرياح, تردد, تقلب, جرى مع التيار, حلق, سبح على ظهره, سوق بقوة الرياح, صفر, طار مع الريح, عاصفة, عصف, عوم, غادر, غبار, غطى بركام, غمر, لهث, هب, هجوم, هبّ,

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


(documentation Wind ChineseLanguage "这是 Air 的任何 Motion。") Merge.kif 11179-11179
(documentation Wind EnglishLanguage "Any Motion of Air.") Merge.kif 11178-11178
(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 11177-11177
(subclass Wind WeatherProcess) Weather.kif 868-868

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


(subclass ChinookWind Wind) Weather.kif 876-876
(subclass Ghibli Wind) Weather.kif 875-875
(subclass HarmattanWind Wind) Weather.kif 872-872
(subclass Khamsin Wind) Weather.kif 873-873
(subclass Mistral Wind) Weather.kif 874-874
(subclass Sirocco Wind) Weather.kif 871-871
(subclass StrongWind Wind) Weather.kif 870-870
(subclass Windstorm Wind) Weather.kif 869-869
(termFormat EnglishLanguage Wind "wind") domainEnglishFormat.kif 10941-10941

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

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