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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterMotion

Sigma KEE - WaterMotion
WaterMotion(water motion)

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


(documentation WaterMotion ChineseLanguage "这是当 LiquidWater 时的任何 LiquidMotion。") chinese_format.kif 3023-3024
(documentation WaterMotion EnglishLanguage "Any LiquidMotion where the Liquid is Water.") Merge.kif 11234-11235
(documentation WaterMotion JapaneseLanguage "LiquidWater である任意の LiquidMotion。 ") japanese_format.kif 1788-1789
(subclass WaterMotion LiquidMotion) Merge.kif 11232-11232 Water motion is a subclass of liquid motion

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


(instance AntarcticCircumpolarCurrent WaterMotion) Geography.kif 4694-4694 Antarctic circumpolar current is an instance of water motion
(subclass HeavySurf WaterMotion) Weather.kif 1555-1555 Heavy zone is a subclass of water motion
(subclass Precipitation WaterMotion) Merge.kif 11206-11206 Precipitation is a subclass of water motion
(termFormat ChineseLanguage WaterMotion "水运动") domainEnglishFormat.kif 62427-62427
(termFormat ChineseTraditionalLanguage WaterMotion "水運動") domainEnglishFormat.kif 62426-62426
(termFormat EnglishLanguage WaterMotion "water motion") domainEnglishFormat.kif 62425-62425

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


(domain flowCurrent 1 WaterMotion) Geography.kif 5558-5558 The number 1 argument of flow current is an instance of water motion

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


(=>
    (and
        (instance ?FALL Waterfall)
        (instance ?CURRENT WaterMotion)
        (flowCurrent ?CURRENT ?FALL)
        (origin ?CURRENT ?TOP)
        (destination ?CURRENT ?BOTTOM)
        (instance ?TOP WaterArea)
        (instance ?BOTTOM WaterArea))
    (orientation ?TOP ?BOTTOM Above))
Geography.kif 5561-5570
(=>
    (instance ?MOTION WaterMotion)
    (exists (?WATER)
        (and
            (patient ?MOTION ?WATER)
            (instance ?WATER Water))))
Merge.kif 11237-11242

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


(=>
    (instance ?FLOOD FlashFlooding)
    (exists (?WATER ?HOUR)
        (and
            (instance ?WATER WaterMotion)
            (causes ?WATER ?FLOOD)
            (meetsTemporally
                (WhenFn ?WATER)
                (WhenFn ?FLOOD))
            (duration
                (WhenFn ?WATER)
                (MeasureFn ?HOUR HourDuration))
            (lessThan ?HOUR 6.0))))
Weather.kif 1630-1642
(=>
    (instance ?SHOWER Shower)
    (hasPurpose ?SHOWER
        (exists (?SPRAY)
            (and
                (instance ?SPRAY WaterMotion)
                (origin ?SPRAY ?SHOWER)))))
Mid-level-ontology.kif 2029-2035
(=>
    (instance ?TW TapWater)
    (exists (?LM ?F)
        (and
            (instance ?LM WaterMotion)
            (patient ?LM ?TW)
            (origin ?LM ?F)
            (instance ?F Faucet))))
Food.kif 276-283
(=>
    (instance ?W WaterSprinkler)
    (hasPurpose ?W
        (exists (?WM)
            (and
                (instance ?WM WaterMotion)
                (origin ?WM ?W)))))
Mid-level-ontology.kif 25444-25450
(=>
    (instance ?X FireSprinklerSystem)
    (exists (?FIRE ?DISCOVER ?WM)
        (and
            (instance ?DISCOVER Discovering)
            (instance ?FIRE Fire)
            (instrument ?DISCOVER ?X)
            (patient ?DISCOVER ?FIRE)
            (instance ?WM WaterMotion)
            (origin ?WM ?X)
            (causes ?DISCOVER ?WM))))
Mid-level-ontology.kif 25466-25476


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 3.0 is open source software produced by Articulate Software and its partners