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 "这是当 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 10789-10791
(subclass LiquidMotion Motion) Merge.kif 10787-10787

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


(subclass BleedingAir LiquidMotion) Cars.kif 1512-1512
(subclass Cavitating LiquidMotion) Cars.kif 1735-1735
(subclass Dripping LiquidMotion) Mid-level-ontology.kif 16796-16796
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 16852-16852
(subclass Perspiring LiquidMotion) emotion.kif 1488-1488
(subclass Pouring LiquidMotion) Mid-level-ontology.kif 16805-16805
(subclass Spraying LiquidMotion) Mid-level-ontology.kif 16874-16874
(subclass Stirring LiquidMotion) Mid-level-ontology.kif 16800-16800
(subclass WaterMotion LiquidMotion) Merge.kif 10799-10799
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 16823-16823
(subclass Weeping LiquidMotion) emotion.kif 1608-1608
(termFormat ChineseLanguage LiquidMotion "液体运动") domainEnglishFormat.kif 34638-34638
(termFormat ChineseTraditionalLanguage LiquidMotion "液體運動") domainEnglishFormat.kif 34637-34637
(termFormat EnglishLanguage LiquidMotion "liquid motion") domainEnglishFormat.kif 34636-34636

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


(domain FlowRegionFn 1 LiquidMotion) Geography.kif 4711-4711

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 938-951
(=>
    (and
        (instance ?MOTION LiquidMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Liquid))
Merge.kif 10793-10797

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 10739-10756
(=>
    (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 11268-11285
(=>
    (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 10118-10127


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