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 11360-11362
(documentation LiquidMotion JapaneseLanguage "patient が Liquid の Motion。このクラス は、特に Water の流れをカバーする。") japanese_format.kif 1786-1787
(subclass LiquidMotion Motion) Merge.kif 11358-11358 液体运动 是 运动 的 subclass

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


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

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


(domain FlowRegionFn 1 LiquidMotion) Geography.kif 5179-5179 流动区域 的 1 数量 是 液体运动 的 instance

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 11364-11368

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