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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquidMotion

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

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


(subclass Bleeding LiquidMotion) Mid-level-ontology.kif 21378-21378 流血的 是 液体运动 的 subclass
(subclass BleedingAir LiquidMotion) Cars.kif 1512-1512 BleedingAir 是 液体运动 的 subclass
(subclass BloodCirculation LiquidMotion) Medicine.kif 484-484 BloodCirculation 是 液体运动 的 subclass
(subclass Cavitating LiquidMotion) Cars.kif 1735-1735 Cavitating 是 液体运动 的 subclass
(subclass CoffeeMaking LiquidMotion) Food.kif 651-651 CoffeeMaking 是 液体运动 的 subclass
(subclass Dripping LiquidMotion) Mid-level-ontology.kif 17524-17524 滴水 是 液体运动 的 subclass
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 17580-17580 洪水 是 液体运动 的 subclass
(subclass Perspiring LiquidMotion) emotion.kif 1480-1480 Perspiring 是 液体运动 的 subclass
(subclass Pouring LiquidMotion) Mid-level-ontology.kif 17533-17533 浇注 是 液体运动 的 subclass
(subclass Spraying LiquidMotion) Mid-level-ontology.kif 17602-17602 喷 是 液体运动 的 subclass
(subclass Stirring LiquidMotion) Mid-level-ontology.kif 17528-17528 搅拌 是 液体运动 的 subclass
(subclass WaterMotion LiquidMotion) Merge.kif 11232-11232 水运动 是 液体运动 的 subclass
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 17551-17551 水波 是 液体运动 的 subclass
(subclass Weeping LiquidMotion) emotion.kif 1600-1600 泣 是 液体运动 的 subclass
(termFormat ChineseLanguage LiquidMotion "液体运动") domainEnglishFormat.kif 34655-34655
(termFormat ChineseTraditionalLanguage LiquidMotion "液體運動") domainEnglishFormat.kif 34654-34654
(termFormat EnglishLanguage LiquidMotion "liquid motion") domainEnglishFormat.kif 34653-34653

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


(domain FlowRegionFn 1 LiquidMotion) Geography.kif 4925-4925 流动区域 的 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 939-952
(=>
    (and
        (instance ?MOTION LiquidMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Liquid))		 Merge.kif 11226-11230

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 11368-11385
(=>
    (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 11915-11932
(=>
    (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 1947-1958
(=>
    (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 10742-10751


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