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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LiquidMotion
LiquidMotion(液體運動)

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


(documentation LiquidMotion ChineseLanguage "这是当 patient 是 Liquid 时的任何 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 11345-11347
(documentation LiquidMotion JapaneseLanguage "patient が Liquid の Motion。このクラス は、特に Water の流れをカバーする。") japanese_format.kif 1786-1787
(subclass LiquidMotion Motion) Merge.kif 11343-11343 子類 液體運動 and Motion

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


(subclass Bleeding LiquidMotion) Mid-level-ontology.kif 22995-22995 子類 流血的 and 液體運動
(subclass BleedingAir LiquidMotion) Cars.kif 1512-1512 子類 BleedingAir and 液體運動
(subclass BloodCirculation LiquidMotion) Medicine.kif 473-473 子類 BloodCirculation and 液體運動
(subclass Cavitating LiquidMotion) Cars.kif 1742-1742 子類 Cavitating and 液體運動
(subclass CoffeeMaking LiquidMotion) Food.kif 651-651 子類 CoffeeMaking and 液體運動
(subclass Dripping LiquidMotion) Mid-level-ontology.kif 19075-19075 子類 滴水 and 液體運動
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 19131-19131 子類 洪水 and 液體運動
(subclass Perspiring LiquidMotion) emotion.kif 1480-1480 子類 Perspiring and 液體運動
(subclass Pouring LiquidMotion) Mid-level-ontology.kif 19084-19084 子類 澆注 and 液體運動
(subclass Spraying LiquidMotion) Mid-level-ontology.kif 19153-19153 子類 噴 and 液體運動
(subclass Stirring LiquidMotion) Mid-level-ontology.kif 19079-19079 子類 攪拌 and 液體運動
(subclass WaterMotion LiquidMotion) Merge.kif 11355-11355 子類 水運動 and 液體運動
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 19102-19102 子類 水波 and 液體運動
(subclass Weeping LiquidMotion) emotion.kif 1600-1600 子類 泣 and 液體運動
(termFormat ChineseLanguage LiquidMotion "液体运动") domainEnglishFormat.kif 34666-34666 子類 泣 and 液體運動
(termFormat ChineseTraditionalLanguage LiquidMotion "液體運動") domainEnglishFormat.kif 34665-34665 子類 泣 and 液體運動
(termFormat EnglishLanguage LiquidMotion "liquid motion") domainEnglishFormat.kif 34664-34664 子類 泣 and 液體運動

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


(domain FlowRegionFn 1 LiquidMotion) Geography.kif 4995-4995 域 流動區域, 1 and 液體運動

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 11349-11353

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 12699-12716
(=>
    (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 13246-13263
(=>
    (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 1988-1999
(=>
    (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 12073-12082


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