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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Wind
Wind

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


(documentation Wind ChineseLanguage "这是 Air 的任何 Motion。") chinese_format.kif 3027-3027
(documentation Wind EnglishLanguage "Any Motion of Air.") Merge.kif 11395-11395
(documentation Wind JapaneseLanguage "Air の任意の Motion。") japanese_format.kif 1792-1792
(externalImage Wind "http://articulatesoftware.com/SUMOpictures/weather/ wind.png") pictureList.kif 839-839
(externalImage Wind "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Cessna_182_model_wingtip_vortex.jpg") pictureList.kif 2063-2063
(subclass Wind GasMotion) Merge.kif 11394-11394 Wind は GasMotion の subclass では
(subclass Wind WeatherProcess) Weather.kif 1476-1476 Wind は WeatherProcess の subclass では

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


(subclass AnabaticWind Wind) Weather.kif 2093-2093 AnabaticWind は Wind の subclass では
(subclass ChinookWind Wind) Weather.kif 1659-1659 ChinookWind は Wind の subclass では
(subclass FohnWind Wind) Weather.kif 1723-1723 FohnWind は Wind の subclass では
(subclass HarmattanWind Wind) Weather.kif 1539-1539 HarmattanWind は Wind の subclass では
(subclass KatabaticWind Wind) Weather.kif 2045-2045 KatabaticWind は Wind の subclass では
(subclass Khamsin Wind) Weather.kif 1607-1607 Khamsin は Wind の subclass では
(subclass Mistral Wind) Weather.kif 1635-1635 Mistral は Wind の subclass では
(subclass PuelcheWind Wind) Weather.kif 1766-1766 PuelcheWind は Wind の subclass では
(subclass Sirocco Wind) Weather.kif 1509-1509 Sirocco は Wind の subclass では
(subclass Squall Wind) Weather.kif 1812-1812 Squall は Wind の subclass では
(subclass StrongWind Wind) Weather.kif 1478-1478 StrongWind は Wind の subclass では
(subclass WindGust Wind) Weather.kif 1848-1848 WindGust は Wind の subclass では
(termFormat ChineseLanguage Wind "风") domainEnglishFormat.kif 63093-63093 WindGust は Wind の subclass では
(termFormat ChineseTraditionalLanguage Wind "風") domainEnglishFormat.kif 63092-63092 WindGust は Wind の subclass では
(termFormat EnglishLanguage Wind "wind") domainEnglishFormat.kif 63091-63091 WindGust は Wind の subclass では

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


(domain windDrivenMotion 1 Wind) Weather.kif 315-315 windDrivenMotion の数値 1 引数は Wind の instance では

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 1991-2012
(=>
    (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 472-484
(=>
    (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 337-354
(=>
    (instance ?WIND Wind)
    (exists (?AIR)
        (and
            (patient ?WIND ?AIR)
            (instance ?AIR Air))))		 Merge.kif 14952-14957

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


(=>
    (and
        (instance ?BN BeaufortNumberAttribute)
        (property ?X ?BN))
    (instance ?X Wind))		 Weather.kif 331-335
(=>
    (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 2760-2766
(=>
    (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 1318-1329
(=>
    (orientation ?O1 ?O2 Downwind)
    (exists (?W ?T ?P)
        (and
            (instance ?W Wind)
            (path ?T ?P)
            (origin ?T ?O2)
            (beforeOnPath ?O2 ?O1 ?P ?T)
            (destination ?T ?O1))))		 Mid-level-ontology.kif 31716-31724
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners