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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquidMotion

Sigma KEE - LiquidMotion
LiquidMotion(liquid motion)breathe, countercurrent, course, crosscurrent, debris_storm, debris_surge, drain, drippage, dripping, feed, flow, flowing, flux, fluxion, gush, ooze, pour, regurgitate, rip, riptide, run, run_out, rush, sea-poose, sea-purse, sea-puss, sea_purse, sea_puss, seep, spate, spin, spirt, spout, spurt, stream, surge, tide_rip, undercurrent, undertide, undertow, upsurge

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


(documentation LiquidMotion ChineseLanguage "这是当 patientLiquid 时的任何 Motion。 这个类别特别会包括 Water 的流动。") chinese_format.kif 3021-3022
(documentation LiquidMotion EnglishLanguage "Any Motion where the patient is a Liquid. This class would cover, in particular, the flow of Water.") Merge.kif 11091-11093
(subclass LiquidMotion Motion) Merge.kif 11089-11089 Liquid motion is a subclass of motion

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


(subclass BleedingAir LiquidMotion) Cars.kif 1512-1512 Bleeding air is a subclass of liquid motion
(subclass Cavitating LiquidMotion) Cars.kif 1735-1735 Cavitating is a subclass of liquid motion
(subclass Dripping LiquidMotion) Mid-level-ontology.kif 16941-16941 Dripping is a subclass of liquid motion
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 16997-16997 Flooding is a subclass of liquid motion
(subclass Perspiring LiquidMotion) emotion.kif 1488-1488 Sweating is a subclass of liquid motion
(subclass Pouring LiquidMotion) Mid-level-ontology.kif 16950-16950 Pouring is a subclass of liquid motion
(subclass Spraying LiquidMotion) Mid-level-ontology.kif 17019-17019 Spraying is a subclass of liquid motion
(subclass Stirring LiquidMotion) Mid-level-ontology.kif 16945-16945 Stirring is a subclass of liquid motion
(subclass WaterMotion LiquidMotion) Merge.kif 11101-11101 Water motion is a subclass of liquid motion
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 16968-16968 Water wave is a subclass of liquid motion
(subclass Weeping LiquidMotion) emotion.kif 1608-1608 Weeping is a subclass of liquid motion
(termFormat ChineseLanguage LiquidMotion "液体运动") domainEnglishFormat.kif 34638-34638
(termFormat ChineseTraditionalLanguage LiquidMotion "液體運動") domainEnglishFormat.kif 34637-34637
(termFormat EnglishLanguage LiquidMotion "liquid motion") domainEnglishFormat.kif 34636-34636

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


(domain FlowRegionFn 1 LiquidMotion) Geography.kif 4823-4823 The number 1 argument of flow region is an instance of liquid motion

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


(=>
    (and
        (instance ?F Faucet)
        (instance ?LM LiquidMotion)
        (patient ?LM ?L)
        (located ?LM ?F))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?LM))
        (not
            (exists (?T)
                (and
                    (instance ?T Tube)
                    (contains ?T ?L))))))
engineering.kif 938-951
(=>
    (and
        (instance ?MOTION LiquidMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Liquid))
Merge.kif 11095-11099

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


(=>
    (and
        (instance ?HA HeartAttack)
        (instance ?H Heart)
        (located ?HA ?H))
    (exists (?M)
        (and
            (instance ?M Muscle)
            (part ?M ?H)
            (not
                (exists (?BF ?B)
                    (and
                        (instance ?BF LiquidMotion)
                        (objectTransferred ?BF ?B)
                        (instance ?B Blood)
                        (during ?BF
                            (WhenFn ?HA))
                        (destination ?BF ?M)))))))
Mid-level-ontology.kif 10867-10884
(=>
    (and
        (instance ?HA Stroke)
        (instance ?H Brain)
        (located ?HA ?H))
    (exists (?M)
        (and
            (instance ?M NerveCell)
            (part ?M ?H)
            (not
                (exists (?BF ?B)
                    (and
                        (instance ?BF LiquidMotion)
                        (objectTransferred ?BF ?B)
                        (instance ?B Blood)
                        (during ?BF
                            (WhenFn ?HA))
                        (destination ?BF ?M)))))))
Mid-level-ontology.kif 11396-11413
(=>
    (instance ?H Heart)
    (hasPurpose ?H
        (exists (?T ?HB ?B)
            (and
                (instance ?HB HeartBeat)
                (instance ?T LiquidMotion)
                (instance ?B Blood)
                (moves ?T ?B)
                (causes ?HB ?T)))))
Mid-level-ontology.kif 10246-10255


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