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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WindFlow
WindFlow(wind flow)airstream

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


s__documentation(s__WindFlow,s__EnglishLanguage,'"WindFlow is the class of variable AirStreams that are in the EarthsAtmosphere. It is also known as air currents which are concentrated areas of winds."')

Weather.kif 84-86
s__instance(s__WindFlow,s__Class)

s__subclass(s__WindFlow,s__AirStream)

s__instance(s__AirStream,s__Class)

Weather.kif 82-82 Wind flow is a subclass of air stream

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


s__termFormat(s__ChineseLanguage,s__WindFlow,'"大气气流"')

Weather.kif 88-88
s__termFormat(s__EnglishLanguage,s__WindFlow,'"wind flow"')

Weather.kif 87-87

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


( ! [V__DIST,V__TIME,V__PLACE,V__ZEPHYR,V__X] :
   (((s__instance(V__DIST,s__LengthMeasure) &
         s__instance(V__TIME,s__TimeDuration) &
         s__instance(V__X,s__RealNumber))
       =>
       (((s__instance(V__ZEPHYR,s__WindFlow) &
             s__instance(V__PLACE,s__Object) &
             s__partlyLocated(V__ZEPHYR,V__PLACE)
           &
           s__elevation(V__ZEPHYR,s__MeasureFn(V__X,s__FootLength))
         &
         s__lessThanOrEqualTo(V__X,n__500)
       &
       s__measure(V__ZEPHYR,s__SpeedFn(V__DIST,V__TIME)))
=>
(s__surfaceWindSpeed(V__PLACE,s__SpeedFn(V__DIST,V__TIME))))))
)
)

Weather.kif 148-157
( ! [V__SPEED,V__PLACE,V__ZEPHYR] :
   ((s__instance(V__SPEED,s__RealNumber) =>
       (((s__instance(V__ZEPHYR,s__WindFlow) &
             s__instance(V__PLACE,s__Object) &
             s__partlyLocated(V__ZEPHYR,V__PLACE)
           &
           s__measure(V__ZEPHYR,s__MeasureFn(V__SPEED,s__KnotUnitOfSpeed)))
       =>
       (s__surfaceWindSpeed(V__PLACE,s__MeasureFn(V__SPEED,s__KnotUnitOfSpeed))))))
)
)

Weather.kif 159-165
( ! [V__DIST,V__TIME,V__PLACE,V__ZEPHYR,V__DIR_TOWARD,V__DIR_FROM] :
   (((s__instance(V__DIST,s__LengthMeasure) &
         s__instance(V__TIME,s__TimeDuration) &
         s__instance(V__PLACE,s__Region) &
         s__instance(V__DIR_TOWARD,s__DirectionalAttribute) &
         s__instance(V__DIR_FROM,s__DirectionalAttribute))
       =>
       (((s__instance(V__ZEPHYR,s__WindFlow) &
             s__measure(V__ZEPHYR,s__VelocityFn(V__DIST,V__TIME,V__PLACE,V__DIR_TOWARD))
         &
         s__oppositeDirection(V__DIR_TOWARD,V__DIR_FROM))
     =>
     (s__surfaceWindDirection(V__PLACE,V__DIR_FROM)))))
)
)

Weather.kif 194-199
( ! [V__DIST,V__TIME,V__PLACE,V__DIRECTION] :
   (((s__instance(V__DIST,s__LengthMeasure) &
         s__instance(V__TIME,s__TimeDuration) &
         s__instance(V__DIRECTION,s__DirectionalAttribute))
       =>
       (((s__surfaceWindVelocity(V__PLACE,s__SpeedFn(V__DIST,V__TIME)
          ,V__DIRECTION)
         &
         s__instance(V__PLACE,s__WindFlow))
       =>
       (( ? [V__BLOW] :
           ((s__instance(V__BLOW,s__Wind) &
               s__eventPartlyLocated(V__BLOW,V__PLACE)
             &
             s__measure(V__BLOW,s__VelocityFn(V__DIST,V__TIME,V__PLACE,V__DIRECTION)))))))))
)
)

Weather.kif 115-123
( ! [V__BLOW] :
   ((s__instance(V__BLOW,s__WindFlow) =>
       (s__located(V__BLOW,s__EarthsAtmosphere)))
     )
   )

Weather.kif 90-92
( ! [V__R] :
   ((s__instance(V__R,s__WindFlow) =>
       (( ? [V__WIND] :
           ((s__instance(V__WIND,s__Wind) &
               s__eventLocated(V__WIND,V__R))))))
   )
)

Weather.kif 94-99

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


( ! [V__WS] :
   ((s__instance(V__WS,s__WeatherSystem) =>
       (( ? [V__MOVE, V__WF] :
           ((s__instance(V__MOVE,s__Translocation) &
               s__instance(V__WF,s__WindFlow) &
               s__patient(V__MOVE,V__WF)
             &
             s__subProcess(V__MOVE,V__WS))))))
)
)

Weather.kif 523-530


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