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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterMotion
WaterMotion(water motion)

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


s__documentation(s__WaterMotion,s__ChineseLanguage,'"这是当 LiquidWater 时的任何 LiquidMotion。"')

chinese_format.kif 3023-3024
s__documentation(s__WaterMotion,s__EnglishLanguage,'"Any LiquidMotion where the Liquid is Water."')

Merge.kif 10757-10758
s__instance(s__LiquidMotion,s__SetOrClass)

s__instance(s__WaterMotion,s__SetOrClass)

s__subclass(s__WaterMotion,s__LiquidMotion)

Merge.kif 10755-10755 Water motion is a subclass of liquid motion

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


s__instance(s__WaterMotion,s__SetOrClass)

s__instance(s__AntarcticCircumpolarCurrent,s__WaterMotion)

Geography.kif 4491-4491 Antarctic circumpolar current is an instance of water motion
s__instance(s__WaterMotion,s__SetOrClass)

s__instance(s__HeavySurf,s__SetOrClass)

s__subclass(s__HeavySurf,s__WaterMotion)

Weather.kif 1554-1554 Heavy zone is a subclass of water motion
s__instance(s__WaterMotion,s__SetOrClass)

s__instance(s__Precipitation,s__SetOrClass)

s__subclass(s__Precipitation,s__WaterMotion)

Merge.kif 10729-10729 Precipitation is a subclass of water motion
s__termFormat(s__ChineseLanguage,s__WaterMotion,'"水运动"')

domainEnglishFormat.kif 62393-62393
s__termFormat(s__ChineseTraditionalLanguage,s__WaterMotion,'"水運動"')

domainEnglishFormat.kif 62392-62392
s__termFormat(s__EnglishLanguage,s__WaterMotion,'"water motion"')

domainEnglishFormat.kif 62391-62391

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


s__domain(s__flowCurrent__m,n__1,s__WaterMotion)

Geography.kif 5341-5341 The number 1 argument of flow current is an instance of water motion

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


( ! [V__FALL,V__BOTTOM,V__CURRENT,V__TOP] :
   (((s__instance(V__FALL,s__Waterfall) &
         s__instance(V__CURRENT,s__WaterMotion) &
         s__flowCurrent(V__CURRENT,V__FALL)
       &
       s__origin(V__CURRENT,V__TOP)
     &
     s__destination(V__CURRENT,V__BOTTOM)
   &
   s__instance(V__TOP,s__WaterArea) &
   s__instance(V__BOTTOM,s__WaterArea))
=>
(s__orientation(V__TOP,V__BOTTOM,s__Above)))
)
)

Geography.kif 5344-5353
( ! [V__MOTION] :
   ((s__instance(V__MOTION,s__WaterMotion) =>
       (( ? [V__WATER] :
           ((s__patient(V__MOTION,V__WATER)
             &
             s__instance(V__WATER,s__Water))))))
   )
)

Merge.kif 10760-10765

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


( ! [V__FLOOD] :
   ((s__instance(V__FLOOD,s__FlashFlooding) =>
       (( ? [V__WATER, V__HOUR] :
           ((s__instance(V__HOUR,s__RealNumber) &
               (s__instance(V__WATER,s__WaterMotion) &
                 s__causes(V__WATER,V__FLOOD)
               &
               s__meetsTemporally(s__WhenFn(V__WATER)
            ,s__WhenFn(V__FLOOD))
         &
         s__duration(s__WhenFn(V__WATER)
      ,s__MeasureFn(V__HOUR,s__HourDuration))
     &
     s__lessThan(V__HOUR,n__6)))))))
)
)

Weather.kif 1629-1641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1966-1972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23567-23573
( ! [V__X] :
   ((s__instance(V__X,s__FireSprinklerSystem) =>
       (( ? [V__FIRE, V__DISCOVER, V__WM] :
           ((s__instance(V__DISCOVER,s__Discovering) &
               s__instance(V__FIRE,s__Fire) &
               s__instrument(V__DISCOVER,V__X)
             &
             s__patient(V__DISCOVER,V__FIRE)
           &
           s__instance(V__WM,s__WaterMotion) &
           s__origin(V__WM,V__X)
         &
         s__causes(V__DISCOVER,V__WM))))))
)
)

Mid-level-ontology.kif 23589-23599


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