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 11109-11110
(subclass WaterMotion LiquidMotion) Merge.kif 11107-11107 水运动液体运动subclass

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


(instance AntarcticCircumpolarCurrent WaterMotion) Geography.kif 4593-4593 南极极地电流水运动instance
(subclass HeavySurf WaterMotion) Weather.kif 1554-1554 高激浪水运动subclass
(subclass Precipitation WaterMotion) Merge.kif 11081-11081 沉淀水运动subclass
(termFormat ChineseLanguage WaterMotion "水运动") domainEnglishFormat.kif 62394-62394
(termFormat ChineseTraditionalLanguage WaterMotion "水運動") domainEnglishFormat.kif 62393-62393
(termFormat EnglishLanguage WaterMotion "water motion") domainEnglishFormat.kif 62392-62392

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


(domain flowCurrent 1 WaterMotion) Geography.kif 5456-5456 流动电流 的 1 数量 是 水运动instance

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 5459-5468
(=>
    (instance ?MOTION WaterMotion)
    (exists (?WATER)
        (and
            (patient ?MOTION ?WATER)
            (instance ?WATER Water))))
Merge.kif 11112-11117

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 1629-1641
(=>
    (instance ?SHOWER Shower)
    (hasPurpose ?SHOWER
        (exists (?SPRAY)
            (and
                (instance ?SPRAY WaterMotion)
                (origin ?SPRAY ?SHOWER)))))
Mid-level-ontology.kif 1988-1994
(=>
    (instance ?W WaterSprinkler)
    (hasPurpose ?W
        (exists (?WM)
            (and
                (instance ?WM WaterMotion)
                (origin ?WM ?W)))))
Mid-level-ontology.kif 24822-24828
(=>
    (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 24844-24854


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