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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 11285-11287
(documentation LiquidMotion JapaneseLanguage "patientLiquidMotion。このクラス は、特に Water の流れをカバーする。") japanese_format.kif 1786-1787
(subclass LiquidMotion Motion) Merge.kif 11283-11283 Liquid motion is a subclass of motion

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


(subclass Bleeding LiquidMotion) Mid-level-ontology.kif 22467-22467 Bleeding is a subclass of liquid motion
(subclass BleedingAir LiquidMotion) Cars.kif 1512-1512 Bleeding air is a subclass of liquid motion
(subclass BloodCirculation LiquidMotion) Medicine.kif 472-472 Blood circulation is a subclass of liquid motion
(subclass Cavitating LiquidMotion) Cars.kif 1742-1742 Cavitating is a subclass of liquid motion
(subclass CoffeeMaking LiquidMotion) Food.kif 651-651 Coffee making is a subclass of liquid motion
(subclass Dripping LiquidMotion) Mid-level-ontology.kif 18613-18613 Dripping is a subclass of liquid motion
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 18669-18669 Flooding is a subclass of liquid motion
(subclass Perspiring LiquidMotion) emotion.kif 1480-1480 Sweating is a subclass of liquid motion
(subclass Pouring LiquidMotion) Mid-level-ontology.kif 18622-18622 Pouring is a subclass of liquid motion
(subclass Spraying LiquidMotion) Mid-level-ontology.kif 18691-18691 Spraying is a subclass of liquid motion
(subclass Stirring LiquidMotion) Mid-level-ontology.kif 18617-18617 Stirring is a subclass of liquid motion
(subclass WaterMotion LiquidMotion) Merge.kif 11295-11295 Water motion is a subclass of liquid motion
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 18640-18640 Water wave is a subclass of liquid motion
(subclass Weeping LiquidMotion) emotion.kif 1600-1600 Weeping is a subclass of liquid motion
(termFormat ChineseLanguage LiquidMotion "液体运动") domainEnglishFormat.kif 34683-34683 Weeping is a subclass of liquid motion
(termFormat ChineseTraditionalLanguage LiquidMotion "液體運動") domainEnglishFormat.kif 34682-34682 Weeping is a subclass of liquid motion
(termFormat EnglishLanguage LiquidMotion "liquid motion") domainEnglishFormat.kif 34681-34681 Weeping is a subclass of liquid motion

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


(domain FlowRegionFn 1 LiquidMotion) Geography.kif 4994-4994 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 1252-1265
(=>
    (and
        (instance ?MOTION LiquidMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Liquid))
Merge.kif 11289-11293

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 12264-12281
(=>
    (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 12811-12828
(=>
    (and
        (suppliesBlood ?AC ?BPC)
        (instance ?A ?AC)
        (instance ?BP ?BPC))
    (hasPurpose ?A
        (exists (?BF ?B)
            (and
                (instance ?BF LiquidMotion)
                (objectTransferred ?BF ?B)
                (instance ?B Blood)
                (destination ?BF ?BP)))))
Anatomy.kif 1946-1957
(=>
    (instance ?CM CoffeeMaking)
    (exists (?LM ?W ?CG)
        (and
            (subProcess ?LM ?CM)
            (instance ?LM LiquidMotion)
            (patient ?LM ?W)
            (instance ?W DrinkingWater)
            (destination ?LM ?CG)
            (instance ?CG CoffeeGrind))))
Food.kif 664-673
(=>
    (instance ?CM CoffeeMaking)
    (holdsDuring ?CM
        (exists (?LM ?S ?R)
            (and
                (instance ?LM LiquidMotion)
                (instance ?S Soaking)
                (instance ?R Removing)
                (before
                    (BeginFn
                        (WhenFn ?LM))
                    (BeginFn
                        (WhenFn ?S)))
                (before
                    (BeginFn
                        (WhenFn ?S))
                    (BeginFn
                        (WhenFn ?R)))))))
Food.kif 703-716
(=>
    (instance ?EM EspressoMaking)
    (holdsDuring ?EM
        (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
            (and
                (instance ?H Heating)
                (patient ?H ?W)
                (measure ?W
                    (MeasureFn ?V Liter))
                (approximateValue ?V 0.03)
                (holdsDuring
                    (EndFn
                        (WhenFn ?H))
                    (and
                        (measure ?W
                            (MeasureFn ?T CelsiusDegree))
                        (approximateValue ?T 90)))
                (instance ?LM LiquidMotion)
                (patient ?LM ?W)
                (holdsDuring ?LM
                    (and
                        (measure ?W
                            (MeasureFn ?P
                                (KiloFn Pascal)))
                        (approximateValue ?P 900)))
                (destination ?LM ?COLL)
                (instance ?COLL Collection)
                (measure ?COLL
                    (MeasureFn ?K Gram))
                (approximateValue ?K 7.5)
                (member ?COLL ?CG)
                (instance ?CG CoffeeGrind)
                (attribute ?CG FineGrind)
                (located ?COLL ?F)
                (instance ?F Filter)
                (instance ?R Removing)
                (instrument ?R ?F)
                (patient ?R ?COLL)
                (temporallyBetween
                    (EndFn
                        (WhenFn ?H))
                    (EndFn
                        (WhenFn ?LM))
                    (EndFn
                        (WhenFn ?R)))))))
Food.kif 799-834
(=>
    (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 11638-11647


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