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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterMotion

 Sigma KEE - WaterMotion
WaterMotion

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


(documentation WaterMotion ChineseLanguage "这是当 Liquid 是Water 时的任何 LiquidMotion。") chinese_format.kif 3023-3024
(documentation WaterMotion EnglishLanguage "Any LiquidMotion where the Liquid is Water.") Merge.kif 11268-11269
(documentation WaterMotion JapaneseLanguage "Liquid が Water である任意の LiquidMotion。 ") japanese_format.kif 1788-1789
(subclass WaterMotion LiquidMotion) Merge.kif 11266-11266 WaterMotion è una sottoclasse di LiquidMotion

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


(instance AntarcticCircumpolarCurrent WaterMotion) Geography.kif 4694-4694 AntarcticCircumpolarCurrent è un' istanza di WaterMotion
(subclass HeavySurf WaterMotion) Weather.kif 1538-1538 HeavySurf è una sottoclasse di WaterMotion
(subclass Precipitation WaterMotion) Merge.kif 11240-11240 Precipitation è una sottoclasse di WaterMotion
(termFormat ChineseLanguage WaterMotion "水运动") domainEnglishFormat.kif 62429-62429
(termFormat ChineseTraditionalLanguage WaterMotion "水運動") domainEnglishFormat.kif 62428-62428
(termFormat EnglishLanguage WaterMotion "water motion") domainEnglishFormat.kif 62427-62427

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


(domain flowCurrent 1 WaterMotion) Geography.kif 5558-5558 Il numero 1 argomenti di flowCurrent è un istanza di 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 5561-5570
(=>
    (instance ?MOTION WaterMotion)
    (exists (?WATER)
        (and
            (patient ?MOTION ?WATER)
            (instance ?WATER Water))))		 Merge.kif 11271-11276

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 1613-1625
(=>
    (instance ?SHOWER Shower)
    (hasPurpose ?SHOWER
        (exists (?SPRAY)
            (and
                (instance ?SPRAY WaterMotion)
                (origin ?SPRAY ?SHOWER)))))		 Mid-level-ontology.kif 2022-2028
(=>
    (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 25501-25507
(=>
    (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 25523-25533


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