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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - WaterMotion
WaterMotion

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 11357-11358
(documentation WaterMotion JapaneseLanguage "LiquidWater である任意の LiquidMotion。 ") japanese_format.kif 1788-1789
(subclass WaterMotion LiquidMotion) Merge.kif 11355-11355 WaterMotion est une sous-classe de LiquidMotion

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


(instance AntarcticCircumpolarCurrent WaterMotion) Geography.kif 4764-4764 AntarcticCircumpolarCurrent est une instance de WaterMotion
(subclass HeavySurf WaterMotion) Weather.kif 2071-2071 HeavySurf est une sous-classe de WaterMotion
(subclass Precipitation WaterMotion) Merge.kif 11329-11329 Precipitation est une sous-classe de WaterMotion
(termFormat ChineseLanguage WaterMotion "水运动") domainEnglishFormat.kif 62421-62421 Precipitation est une sous-classe de WaterMotion
(termFormat ChineseTraditionalLanguage WaterMotion "水運動") domainEnglishFormat.kif 62420-62420 Precipitation est une sous-classe de WaterMotion
(termFormat EnglishLanguage WaterMotion "water motion") domainEnglishFormat.kif 62419-62419 Precipitation est une sous-classe de WaterMotion

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


(domain flowCurrent 1 WaterMotion) Geography.kif 5691-5691 Le nombre 1 argument de flowCurrent est une instance de WaterMotion

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 5694-5703
(=>
    (instance ?MOTION WaterMotion)
    (exists (?WATER)
        (and
            (patient ?MOTION ?WATER)
            (instance ?WATER Water))))
Merge.kif 11360-11365

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 2146-2158
(=>
    (instance ?SHOWER Shower)
    (hasPurpose ?SHOWER
        (exists (?SPRAY)
            (and
                (instance ?SPRAY WaterMotion)
                (origin ?SPRAY ?SHOWER)))))
Mid-level-ontology.kif 2492-2498
(=>
    (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 27108-27114
(=>
    (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 27130-27140


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