| Sand
| |
| appearance as argument number 1 |
|
|
| (documentation Sand ChineseLanguage "Sand 是由松散零碎的 Mineral 或 Rock 组成的 Mixture。(溫特瓦分級)沙粒比卵石小而比 Silt 和 Clay 大，它的 approximateDiameter 在 0.062 Millimeter 到 2 Millimeter 之间。Sand 是石头受水、冰或空气的 %Erosion 所产生的。") | Geography.kif 4207-4209 | |
| (documentation Sand 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 | |
| (externalImage Sand "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Differences_in_the_size_of_sand.jpg") | pictureList.kif 971-971 | |
| (subclass Sand Soil) | Geography.kif 4199-4199 |
| appearance as argument number 2 |
|
|
| (industryProductType IndustrialSandMining Sand) | Economy.kif 1809-1809 | |
| (termFormat ChineseLanguage Sand "沙") | Geography.kif 4211-4211 | |
| (termFormat ChineseLanguage Sand "砂") | domainEnglishFormat.kif 51039-51039 | |
| (termFormat ChineseTraditionalLanguage Sand "砂") | domainEnglishFormat.kif 51038-51038 | |
| (termFormat EnglishLanguage Sand "sand") | domainEnglishFormat.kif 51037-51037 |
| antecedent |
|
|
| (=> (and (part ?Particle ?Soil) (instance ?Soil Sand) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 2 ?Size) (greaterThan ?Size 0.062))) |
Geography.kif 4213-4221 |
| consequent |
|
|
| (=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2))))) |
Weather.kif 1273-1294 | |
| (=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 6158-6162 | |
| (=> (instance ?Loam Loam) (exists (?Clay ?Sand ?Gravel ?Silt ?Organic) (and (instance ?Clay Clay) (piece ?Clay ?Loam) (instance ?Gravel Gravel) (piece ?Gravel ?Loam) (instance ?Sand Sand) (piece ?Sand ?Loam) (instance ?Silt Silt) (piece ?Silt ?Loam) (instance ?Organic BodySubstance) (piece ?Organic ?Loam)))) |
Geography.kif 4178-4191 | |
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 5731-5739 | |
| (=> (instance ?SS SandStorm) (exists (?SAND) (and (instance ?SAND Sand) (objectTransferred ?SS ?SAND)))) |
Weather.kif 1301-1306 |
|
|
|