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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LiquidMotion
LiquidMotion(liquid motion)breathe, countercurrent, course, crosscurrent, debris_storm, debris_surge, drain, drippage, dripping, feed, flow, flowing, flux, fluxion, gush, ooze, pour, regurgitate, rip, riptide, run, run_out, rush, sea-poose, sea-purse, sea-puss, sea_purse, sea_puss, seep, spate, spin, spirt, spout, spurt, stream, surge, tide_rip, undercurrent, undertide, undertow, upsurge

appearance as argument number 1
-------------------------


s__documentation(s__LiquidMotion,s__ChineseLanguage,'"这是当 patientLiquid 时的任何 Motion。 这个类别特别会包括 Water 的流动。"')

chinese_format.kif 3021-3022
s__documentation(s__LiquidMotion,s__EnglishLanguage,'"Any Motion where the patient is a Liquid. This class would cover, in particular, the flow of Water."')

Merge.kif 10789-10791
s__instance(s__LiquidMotion,s__Class)

s__instance(s__Motion,s__Class)

s__subclass(s__LiquidMotion,s__Motion)

Merge.kif 10787-10787 Liquid motion is a subclass of motion

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


s__subclass(s__BleedingAir,s__LiquidMotion)

s__instance(s__LiquidMotion,s__Class)

s__instance(s__BleedingAir,s__Class)

Cars.kif 1512-1512 Bleeding air is a subclass of liquid motion
s__instance(s__LiquidMotion,s__Class)

s__subclass(s__Cavitating,s__LiquidMotion)

s__instance(s__Cavitating,s__Class)

Cars.kif 1735-1735 Cavitating is a subclass of liquid motion
s__instance(s__LiquidMotion,s__Class)

s__subclass(s__Dripping,s__LiquidMotion)

s__instance(s__Dripping,s__Class)

Mid-level-ontology.kif 16796-16796 Dripping is a subclass of liquid motion
s__subclass(s__Flooding,s__LiquidMotion)

s__instance(s__LiquidMotion,s__Class)

s__instance(s__Flooding,s__Class)

Mid-level-ontology.kif 16852-16852 Flooding is a subclass of liquid motion
s__instance(s__Perspiring,s__Class)

s__instance(s__LiquidMotion,s__Class)

s__subclass(s__Perspiring,s__LiquidMotion)

emotion.kif 1488-1488 Sweating is a subclass of liquid motion
s__subclass(s__Pouring,s__LiquidMotion)

s__instance(s__LiquidMotion,s__Class)

s__instance(s__Pouring,s__Class)

Mid-level-ontology.kif 16805-16805 Pouring is a subclass of liquid motion
s__subclass(s__Spraying,s__LiquidMotion)

s__instance(s__LiquidMotion,s__Class)

s__instance(s__Spraying,s__Class)

Mid-level-ontology.kif 16874-16874 Spraying is a subclass of liquid motion
s__instance(s__Stirring,s__Class)

s__subclass(s__Stirring,s__LiquidMotion)

s__instance(s__LiquidMotion,s__Class)

Mid-level-ontology.kif 16800-16800 Stirring is a subclass of liquid motion
s__instance(s__WaterMotion,s__Class)

s__instance(s__LiquidMotion,s__Class)

s__subclass(s__WaterMotion,s__LiquidMotion)

Merge.kif 10799-10799 Water motion is a subclass of liquid motion
s__instance(s__WaterWave,s__Class)

s__instance(s__LiquidMotion,s__Class)

s__subclass(s__WaterWave,s__LiquidMotion)

Mid-level-ontology.kif 16823-16823 Water wave is a subclass of liquid motion
s__instance(s__Weeping,s__Class)

s__subclass(s__Weeping,s__LiquidMotion)

s__instance(s__LiquidMotion,s__Class)

emotion.kif 1608-1608 Weeping is a subclass of liquid motion
s__termFormat(s__ChineseLanguage,s__LiquidMotion,'"液体运动"')

domainEnglishFormat.kif 34638-34638
s__termFormat(s__ChineseTraditionalLanguage,s__LiquidMotion,'"液體運動"')

domainEnglishFormat.kif 34637-34637
s__termFormat(s__EnglishLanguage,s__LiquidMotion,'"liquid motion"')

domainEnglishFormat.kif 34636-34636

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


s__domain(s__FlowRegionFn__m,n__1,s__LiquidMotion)

Geography.kif 4711-4711 The number 1 argument of flow region is an instance of liquid motion

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 938-951
( ! [V__OBJ,V__MOTION] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__MOTION,s__LiquidMotion) &
             s__patient(V__MOTION,V__OBJ))
         =>
         (s__attribute(V__OBJ,s__Liquid)))))
   )
)

Merge.kif 10793-10797

consequent
-------------------------


( ! [V__HA,V__H] :
   (((s__instance(V__HA,s__HeartAttack) &
         s__instance(V__H,s__Heart) &
         s__located(V__HA,V__H))
     =>
     (( ? [V__M] :
         ((s__instance(V__M,s__Muscle) &
             s__part(V__M,V__H)
           &
           ~(( ? [V__BF, V__B] :
               ((s__instance(V__BF,s__LiquidMotion) &
                   s__objectTransferred(V__BF,V__B)
                 &
                 s__instance(V__B,s__Blood) &
                 s__during(V__BF,s__WhenFn(V__HA))
             &
             s__destination(V__BF,V__M))))))))))
)
)

Mid-level-ontology.kif 10739-10756
( ! [V__HA,V__H] :
   (((s__instance(V__HA,s__Stroke) &
         s__instance(V__H,s__Brain) &
         s__located(V__HA,V__H))
     =>
     (( ? [V__M] :
         ((s__instance(V__M,s__NerveCell) &
             s__part(V__M,V__H)
           &
           ~(( ? [V__BF, V__B] :
               ((s__instance(V__BF,s__LiquidMotion) &
                   s__objectTransferred(V__BF,V__B)
                 &
                 s__instance(V__B,s__Blood) &
                 s__during(V__BF,s__WhenFn(V__HA))
             &
             s__destination(V__BF,V__M))))))))))
)
)

Mid-level-ontology.kif 11268-11285
No TPTP formula. May not be expressible in strict first order. 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