| 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 4609-4611 | |
| (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 4603-4607 | |
| (externalImage Sand "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Differences_in_the_size_of_sand.jpg") | pictureList.kif 970-970 | |
| (subclass Sand Soil) | Geography.kif 4601-4601 | Sand est une sous-classe de Soil |
| appearance as argument number 2 |
|
|
| (industryProductType IndustrialSandMining Sand) | Economy.kif 1930-1930 | industryProductType IndustrialSandMining and Sand |
| (termFormat ChineseLanguage Sand "沙") | Geography.kif 4613-4613 | industryProductType IndustrialSandMining and Sand |
| (termFormat ChineseLanguage Sand "砂") | domainEnglishFormat.kif 51061-51061 | industryProductType IndustrialSandMining and Sand |
| (termFormat ChineseTraditionalLanguage Sand "砂") | domainEnglishFormat.kif 51060-51060 | industryProductType IndustrialSandMining and Sand |
| (termFormat EnglishLanguage Sand "sand") | domainEnglishFormat.kif 51059-51059 | industryProductType IndustrialSandMining and Sand |
| antecedent |
|
|
| (=> (and (part ?Particle ?Soil) (instance ?Soil Sand) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 2.0 ?Size) (greaterThan ?Size 0.062))) |
Geography.kif 4615-4623 |
|
| consequent |
|
|
|
|
|