Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Sand(sand)
|  | dune, quicksand, sand, sand_dune, seif_dune |
| appearance as argument number 1 |
|
|
| (subclass Sand Soil) | Geography.kif 5865-5865 | Sand is a subclass of soil |
| (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 5867-5871 | Sand is a subclass of soil |
| (documentation Sand ChineseLanguage "Sand 是由松散零碎的 Mineral 或 Rock 组成的 Mixture。(溫特瓦分級)沙粒比卵石小而比 Silt 和 Clay 大，它的 approximateDiameter 在 0.062 Millimeter 到 2 Millimeter 之间。Sand 是石头受水、冰或空气的 %Erosion 所产生的。") | Geography.kif 5873-5875 | Sand is a subclass of soil |
| (externalImage Sand "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Differences_in_the_size_of_sand.jpg") | pictureList.kif 970-970 | Sand is a subclass of soil |
| appearance as argument number 2 |
|
|
| (industryProductType IndustrialSandMining Sand) | Economy.kif 1925-1925 | Sand is an industry product type of industrial sand mining |
| (termFormat ChineseLanguage Sand "沙") | Geography.kif 5877-5877 | Sand is an industry product type of industrial sand mining |
| (termFormat EnglishLanguage Sand "sand") | domainEnglishFormat.kif 51052-51052 | Sand is an industry product type of industrial sand mining |
| (termFormat ChineseTraditionalLanguage Sand "砂") | domainEnglishFormat.kif 51053-51053 | Sand is an industry product type of industrial sand mining |
| (termFormat ChineseLanguage Sand "砂") | domainEnglishFormat.kif 51054-51054 | Sand is an industry product type of industrial sand mining |
| antecedent |
|
|
| (=> (and (part ?Particle ?Soil) (instance ?Soil Sand) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 2.0 ?Size) (greaterThan ?Size 0.062))) |
Geography.kif 5879-5887 | If X is a part of Y, Y is an instance of sand, and the approximate diameter of X is Z millimeter(s), then 2.0 is greater than Z and Z is greater than 0.062 |
| consequent |
|
|
| (=> (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 5844-5857 | If X is an instance of loam, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of clay (3) Y is a piece of X (4) W is an instance of gravel (5) W is a piece of X (6) Z is an instance of sand (7) Z is a piece of X (8) V is an instance of silt (9) V is a piece of X (10) U is an instance of body substance (11) U is a piece of X |
| (=> (instance ?D Dune) (material Sand ?D)) |
Geography.kif 5901-5903 | If X is an instance of dune, then X is made of sand |
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 7549-7557 | If X is an instance of reef, then there exists Y such that Y is an instance of sand, Y is an instance of rock, or Y is an instance of coral and Y is a part of X |
| (=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 8257-8261 | If X is an instance of desert, then rock is a ground surface type of X or sand is a ground surface type of X |
| (=> (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.0) (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 2436-2457 | If X is an instance of dust storm, Y is an instance of wind, and X is a subprocess of Y, then there exist Z, W,, , V,, , U,, , T and S such that U is an instance of land area and Y is located at U and S knot unit of speed(s) is a surface wind speed of U and S is greater than 30.0 and Z is an instance of translocation and Z is a subprocess of X and the object transferred in Z is W and the object transferred in Z is V and W is an instance of PM and V is an instance of sand and T is an instance of land area and Z ends up at T and U and T doesn't overlapsSpatially |
| (=> (instance ?SS SandStorm) (exists (?SAND) (and (instance ?SAND Sand) (objectTransferred ?SS ?SAND)))) |
Weather.kif 2464-2469 | If X is an instance of sand storm, then there exists Y such that Y is an instance of sand and the object transferred in X is Y |
|