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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wind
Wind

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 10404-10404
(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 10402-10402
(subclass Wind WeatherProcess) Weather.kif 867-867

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


(subclass ChinookWind Wind) Weather.kif 875-875
(subclass Ghibli Wind) Weather.kif 874-874
(subclass HarmattanWind Wind) Weather.kif 871-871
(subclass Khamsin Wind) Weather.kif 872-872
(subclass Mistral Wind) Weather.kif 873-873
(subclass Sirocco Wind) Weather.kif 870-870
(subclass StrongWind Wind) Weather.kif 869-869
(subclass Windstorm Wind) Weather.kif 868-868
(termFormat ChineseLanguage Wind "风") domainEnglishFormat.kif 63043-63043
(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 902-923
(=>
    (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 13634-13639

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