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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sand
Sand(sand)
dune, quicksand, sand, sand_dune, seif_dune

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


s__documentation(s__Sand,s__ChineseLanguage,'"Sand 是由松散零碎的 MineralRock 组成的 Mixture。(溫特瓦分級)沙粒比卵石小而比 SiltClay 大,它的 approximateDiameter 在 0.062 Millimeter 到 2 Millimeter 之间。Sand 是石头受水、冰或空气的 %Erosion 所产生的。"')

Geography.kif 4207-4209
s__documentation(s__Sand,s__EnglishLanguage,'"Sand is a Mixture of loose fragments of Minerals or Rocks. Smaller than pebbles and larger than Silt and Clay (in the Wentworth Scale), sand particles range from 0.062 Millimeter to 2 Millimeter in approximateDiameter. Sand is formed by %Erosion of rocks through the action of ater, Ice or Air."')

Geography.kif 4201-4205
s__externalImage(s__Sand,'"http://upload.wikimedia.org/wikipedia/commons/9/9d/ Differences_in_the_size_of_sand.jpg"')

pictureList.kif 971-971
s__subclass(s__Sand,s__Soil)

s__instance(s__Soil,s__SetOrClass)

s__instance(s__Sand,s__SetOrClass)

Geography.kif 4199-4199 Sand is a subclass of soil

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


s__industryProductType(s__IndustrialSandMining,s__Sand)

Economy.kif 1809-1809 Sand is an industry product type of industrial sand mining
s__termFormat(s__ChineseLanguage,s__Sand,'"沙"')

Geography.kif 4211-4211
s__termFormat(s__ChineseLanguage,s__Sand,'"砂"')

domainEnglishFormat.kif 51039-51039
s__termFormat(s__ChineseTraditionalLanguage,s__Sand,'"砂"')

domainEnglishFormat.kif 51038-51038
s__termFormat(s__EnglishLanguage,s__Sand,'"sand"')

domainEnglishFormat.kif 51037-51037

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


( ! [V__Soil,V__Particle,V__Size] :
   (((s__instance(V__Particle,s__SelfConnectedObject) &
         s__instance(V__Size,s__RealNumber))
       =>
       (((s__part(V__Particle,V__Soil)
           &
           s__instance(V__Soil,s__Sand) &
           s__approximateDiameter(V__Particle,s__MeasureFn(V__Size,s__Millimeter)))
       =>
       ((s__greaterThan(n__2,V__Size)
         &
         s__greaterThan(V__Size,n__0_062))))))
)
)

Geography.kif 4213-4221

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


( ! [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__DESERT] :
   ((s__instance(V__DESERT,s__Desert) =>
       ((s__groundSurfaceType(V__DESERT,s__Rock) |
           s__groundSurfaceType(V__DESERT,s__Sand))))
     )
   )

Geography.kif 6158-6162
( ! [V__Loam] :
   ((s__instance(V__Loam,s__Loam) =>
       (( ? [V__Clay, V__Sand, V__Gravel, V__Silt, V__Organic] :
           ((s__instance(V__Clay,s__Clay) &
               s__piece(V__Clay,V__Loam)
             &
             s__instance(V__Gravel,s__Gravel) &
             s__piece(V__Gravel,V__Loam)
           &
           s__instance(V__Sand,s__Sand) &
           s__piece(V__Sand,V__Loam)
         &
         s__instance(V__Silt,s__Silt) &
         s__piece(V__Silt,V__Loam)
       &
       s__instance(V__Organic,s__BodySubstance) &
       s__piece(V__Organic,V__Loam))))))
)
)

Geography.kif 4178-4191
( ! [V__Reef] :
   ((s__instance(V__Reef,s__Reef) =>
       (( ? [V__Stuff] :
           (((s__instance(V__Stuff,s__Sand) |
                 s__instance(V__Stuff,s__Rock) |
                 s__instance(V__Stuff,s__Coral))
               &
               s__part(V__Stuff,V__Reef))))))
   )
)

Geography.kif 5731-5739
( ! [V__SS] :
   ((s__instance(V__SS,s__SandStorm) =>
       (( ? [V__SAND] :
           ((s__instance(V__SAND,s__Sand) &
               s__objectTransferred(V__SS,V__SAND))))))
   )
)

Weather.kif 1301-1306


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