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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wind
Wind(wind)
Santa_Ana, air, air_current, be_adrift, blast, blow, breeze, catabatic_wind, current_of_air, drift, float, foehn, fohn, gale, gentle_wind, gust, high_wind, katabatic_wind, khamsin, prevailing_westerly, south_wind, souther, southerly, waft, west_wind, wester, westerly, whirlwind, wind, zephyr

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


s__documentation(s__Wind,s__ChineseLanguage,'"这是 Air 的任何 Motion。"')

chinese_format.kif 3027-3027
s__documentation(s__Wind,s__EnglishLanguage,'"Any Motion of Air."')

Merge.kif 10814-10814
s__externalImage(s__Wind,'"http://upload.wikimedia.org/wikipedia/commons/c/cd/ Cessna_182_model-wingtip-vortex.jpg"')

pictureList.kif 2065-2065
s__externalImage(s__Wind,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ wind.png"')

pictureList.kif 839-839
s__instance(s__Wind,s__SetOrClass)

s__subclass(s__Wind,s__GasMotion)

s__instance(s__GasMotion,s__SetOrClass)

Merge.kif 10812-10812 Wind is a subclass of gas motion
s__instance(s__Wind,s__SetOrClass)

s__subclass(s__Wind,s__WeatherProcess)

s__instance(s__WeatherProcess,s__SetOrClass)

Weather.kif 1241-1241 Wind is a subclass of weather process

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


s__instance(s__Wind,s__SetOrClass)

s__subclass(s__ChinookWind,s__Wind)

s__instance(s__ChinookWind,s__SetOrClass)

Weather.kif 1249-1249 Chinook wind is a subclass of wind
s__instance(s__Wind,s__SetOrClass)

s__subclass(s__Ghibli,s__Wind)

s__instance(s__Ghibli,s__SetOrClass)

Weather.kif 1248-1248 Ghibli is a subclass of wind
s__instance(s__Wind,s__SetOrClass)

s__instance(s__HarmattanWind,s__SetOrClass)

s__subclass(s__HarmattanWind,s__Wind)

Weather.kif 1245-1245 Harmattan wind is a subclass of wind
s__instance(s__Wind,s__SetOrClass)

s__subclass(s__Khamsin,s__Wind)

s__instance(s__Khamsin,s__SetOrClass)

Weather.kif 1246-1246 Khamsin is a subclass of wind
s__instance(s__Wind,s__SetOrClass)

s__instance(s__Mistral,s__SetOrClass)

s__subclass(s__Mistral,s__Wind)

Weather.kif 1247-1247 Mistral is a subclass of wind
s__instance(s__Wind,s__SetOrClass)

s__instance(s__Sirocco,s__SetOrClass)

s__subclass(s__Sirocco,s__Wind)

Weather.kif 1244-1244 Sirocco is a subclass of wind
s__instance(s__Wind,s__SetOrClass)

s__subclass(s__StrongWind,s__Wind)

s__instance(s__StrongWind,s__SetOrClass)

Weather.kif 1243-1243 Strong wind is a subclass of wind
s__termFormat(s__ChineseLanguage,s__Wind,'"风"')

domainEnglishFormat.kif 63066-63066
s__termFormat(s__ChineseTraditionalLanguage,s__Wind,'"風"')

domainEnglishFormat.kif 63065-63065
s__termFormat(s__EnglishLanguage,s__Wind,'"wind"')

domainEnglishFormat.kif 63064-63064

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


s__domain(s__windDrivenMotion__m,n__1,s__Wind)

Weather.kif 327-327 The number 1 argument of wind driven motion is an instance of wind

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


( ! [V__DUSTSTORM,V__WIND] :
   (((s__instance(V__DUSTSTORM,s__DustStorm) &
         s__instance(V__WIND,s__Wind) &
         s__subProcess(V__DUSTSTORM,V__WIND))
     =>
     (( ? [V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] :
         ((s__instance(V__STRONG,s__RealNumber) &
             (s__instance(V__A1,s__LandArea) &
               s__eventLocated(V__WIND,V__A1)
             &
             s__surfaceWindSpeed(V__A1,s__MeasureFn(V__STRONG,s__KnotUnitOfSpeed))
           &
           s__greaterThan(V__STRONG,n__30)
         &
         s__instance(V__TRANSLOCATE,s__Translocation) &
         s__subProcess(V__TRANSLOCATE,V__DUSTSTORM)
       &
       s__objectTransferred(V__TRANSLOCATE,V__PM)
     &
     s__objectTransferred(V__TRANSLOCATE,V__SAND)
   &
   s__instance(V__PM,s__ParticulateMatter) &
   s__instance(V__SAND,s__Sand) &
   s__instance(V__A2,s__LandArea) &
   s__destination(V__TRANSLOCATE,V__A2)
&
~(s__overlapsSpatially(V__A1,V__A2))))))))
)
)

Weather.kif 1273-1294
( ! [V__DIST,V__TIME,V__PLACE,V__BLOW,V__DIRECTION] :
   (((s__instance(V__DIST,s__LengthMeasure) &
         s__instance(V__TIME,s__TimeDuration) &
         s__instance(V__DIRECTION,s__DirectionalAttribute))
       =>
       (((s__instance(V__PLACE,s__Object) &
             s__instance(V__BLOW,s__Wind) &
             s__measure(V__BLOW,s__VelocityFn(V__DIST,V__TIME,V__PLACE,V__DIRECTION)))
       =>
       (s__surfaceWindVelocity(V__PLACE,s__SpeedFn(V__DIST,V__TIME)
      ,V__DIRECTION)))))
)
)

Weather.kif 125-130
No TPTP formula. May not be expressible in strict first order. Weather.kif 484-496
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
( ! [V__WIND] :
   ((s__instance(V__WIND,s__Wind) =>
       (( ? [V__AIR] :
           ((s__patient(V__WIND,V__AIR)
             &
             s__instance(V__AIR,s__Air))))))
   )
)

Merge.kif 14144-14149

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


( ! [V__X,V__BN] :
   (((s__instance(V__BN,s__BeaufortNumberAttribute) &
         s__property(V__X,V__BN))
     =>
     (s__instance(V__X,s__Wind)))
   )
)

Weather.kif 343-347
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2235-2241
( ! [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
( ! [V__X] :
   ((s__instance(V__X,s__WindSurfing) =>
       (( ? [V__BOARD, V__WATER, V__MOTION, V__WIND] :
           ((s__instance(V__BOARD,s__WindSurfingBoard) &
               s__instance(V__WATER,s__WaterArea) &
               s__instance(V__WIND,s__Wind) &
               s__instance(V__MOTION,s__Motion) &
               s__eventLocated(V__X,V__WATER)
             &
             s__subProcess(V__MOTION,V__X)
           &
           s__instrument(V__MOTION,V__BOARD)
         &
         s__causes(V__WIND,V__MOTION))))))
)
)

Sports.kif 1232-1243
( ! [V__DIR,V__PLACE] :
   (((s__instance(V__DIR,s__DirectionalAttribute) &
         s__instance(V__PLACE,s__Object))
       =>
       ((s__surfaceWindDirection(V__PLACE,V__DIR)
         =>
         (( ? [V__WIND, V__FROM] :
             ((s__instance(V__WIND,s__Wind) &
                 s__instance(V__FROM,s__Region) &
                 s__eventPartlyLocated(V__WIND,V__PLACE)
               &
               s__origin(V__WIND,V__FROM)
             &
             s__orientation(V__FROM,V__PLACE,V__DIR))))))))
)
)

Weather.kif 178-186


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