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 "这是当 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 11244-11246
(documentation LiquidMotion JapaneseLanguage "patientLiquidMotion。このクラス は、特に Water の流れをカバーする。") japanese_format.kif 1786-1787
(subclass LiquidMotion Motion) Merge.kif 11242-11242 LiquidMotionmotionsubclass では %n

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


(subclass Bleeding LiquidMotion) Mid-level-ontology.kif 21377-21377 BleedingLiquidMotionsubclass では %n
(subclass BleedingAir LiquidMotion) Cars.kif 1512-1512 BleedingAirLiquidMotionsubclass では %n
(subclass BloodCirculation LiquidMotion) Medicine.kif 484-484 BloodCirculationLiquidMotionsubclass では %n
(subclass Cavitating LiquidMotion) Cars.kif 1741-1741 CavitatingLiquidMotionsubclass では %n
(subclass CoffeeMaking LiquidMotion) Food.kif 651-651 CoffeeMakingLiquidMotionsubclass では %n
(subclass Dripping LiquidMotion) Mid-level-ontology.kif 17523-17523 DrippingLiquidMotionsubclass では %n
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 17579-17579 FloodingLiquidMotionsubclass では %n
(subclass Perspiring LiquidMotion) emotion.kif 1480-1480 PerspiringLiquidMotionsubclass では %n
(subclass Pouring LiquidMotion) Mid-level-ontology.kif 17532-17532 PouringLiquidMotionsubclass では %n
(subclass Spraying LiquidMotion) Mid-level-ontology.kif 17601-17601 SprayingLiquidMotionsubclass では %n
(subclass Stirring LiquidMotion) Mid-level-ontology.kif 17527-17527 StirringLiquidMotionsubclass では %n
(subclass WaterMotion LiquidMotion) Merge.kif 11254-11254 WaterMotionLiquidMotionsubclass では %n
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 17550-17550 WaterWaveLiquidMotionsubclass では %n
(subclass Weeping LiquidMotion) emotion.kif 1600-1600 WeepingLiquidMotionsubclass では %n
(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 FlowRegionFn の数値 1 引数は LiquidMotioninstance では %n

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 11248-11252

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 11367-11384
(=>
    (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 11914-11931
(=>
    (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 10741-10750


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