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 LiquidMotion est une sous-classe de d�palcement

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


(subclass Bleeding LiquidMotion) Mid-level-ontology.kif 22995-22995 Bleeding est une sous-classe de LiquidMotion
(subclass BleedingAir LiquidMotion) Cars.kif 1512-1512 BleedingAir est une sous-classe de LiquidMotion
(subclass BloodCirculation LiquidMotion) Medicine.kif 473-473 BloodCirculation est une sous-classe de LiquidMotion
(subclass Cavitating LiquidMotion) Cars.kif 1742-1742 Cavitating est une sous-classe de LiquidMotion
(subclass CoffeeMaking LiquidMotion) Food.kif 651-651 CoffeeMaking est une sous-classe de LiquidMotion
(subclass Dripping LiquidMotion) Mid-level-ontology.kif 19075-19075 Dripping est une sous-classe de LiquidMotion
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 19131-19131 Flooding est une sous-classe de LiquidMotion
(subclass Perspiring LiquidMotion) emotion.kif 1480-1480 Perspiring est une sous-classe de LiquidMotion
(subclass Pouring LiquidMotion) Mid-level-ontology.kif 19084-19084 Pouring est une sous-classe de LiquidMotion
(subclass Spraying LiquidMotion) Mid-level-ontology.kif 19153-19153 Spraying est une sous-classe de LiquidMotion
(subclass Stirring LiquidMotion) Mid-level-ontology.kif 19079-19079 Stirring est une sous-classe de LiquidMotion
(subclass WaterMotion LiquidMotion) Merge.kif 11355-11355 WaterMotion est une sous-classe de LiquidMotion
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 19102-19102 WaterWave est une sous-classe de LiquidMotion
(subclass Weeping LiquidMotion) emotion.kif 1600-1600 Weeping est une sous-classe de LiquidMotion
(termFormat ChineseLanguage LiquidMotion "液体运动") domainEnglishFormat.kif 34666-34666 Weeping est une sous-classe de LiquidMotion
(termFormat ChineseTraditionalLanguage LiquidMotion "液體運動") domainEnglishFormat.kif 34665-34665 Weeping est une sous-classe de LiquidMotion
(termFormat EnglishLanguage LiquidMotion "liquid motion") domainEnglishFormat.kif 34664-34664 Weeping est une sous-classe de LiquidMotion

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


(domain FlowRegionFn 1 LiquidMotion) Geography.kif 5021-5021 Le nombre 1 argument de FlowRegionFn est une instance de LiquidMotion

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