Sand - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Sand ChineseLanguage "Sand 是由松散零碎的 Mineral 或 Rock 组成的 Mixture。(溫特瓦分級)沙粒比卵石小而比 Silt 和 Clay 大，它的 approximateDiameter 在 0.062 Millimeter 到 2 Millimeter 之间。Sand 是石头受水、冰或空气的 %Erosion 所产生的。")	Geography.kif 4369-4371
(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 4363-4367
(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 4361-4361	Sand is a subclass of soil

appearance as argument number 2

(industryProductType IndustrialSandMining Sand)	Economy.kif 1805-1805	Sand is an industry product type of industrial sand mining
(termFormat ChineseLanguage Sand "沙")	Geography.kif 4373-4373	Sand is an industry product type of industrial sand mining
(termFormat ChineseLanguage Sand "砂")	domainEnglishFormat.kif 51097-51097	Sand is an industry product type of industrial sand mining
(termFormat ChineseTraditionalLanguage Sand "砂")	domainEnglishFormat.kif 51096-51096	Sand is an industry product type of industrial sand mining
(termFormat EnglishLanguage Sand "sand")	domainEnglishFormat.kif 51095-51095	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 4375-4383

If a self connected object is a part of an object and the object is an instance of sand and the approximate diameter of the self connected object is a real number millimeter(s),
then 2.0 is greater than the real number and the real number is greater than 0.062

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.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 1259-1280	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
(=> (instance ?D Dune) (material Sand ?D))	Geography.kif 4397-4399	If a corpuscular object is an instance of dune, then the corpuscular object is made of sand
(=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand)))	Geography.kif 6627-6631	If a land area is an instance of desert, then rock is a ground surface type of the land area or sand is a ground surface type of the land area
(=> (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 4340-4353	If a substance is an instance of loam, then there exist another substance, a third substance,, , a fourth substance,, , a fifth substance and a sixth substance such that the other substance is an instance of clay and the other substance is a piece of the substance and the fourth substance is an instance of gravel and the fourth substance is a piece of the substance and the third substance is an instance of sand and the third substance is a piece of the substance and the fifth substance is an instance of silt and the fifth substance is a piece of the substance and the sixth substance is an instance of body substance and the sixth substance is a piece of the substance
(=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef))))	Geography.kif 5949-5957	If an object is an instance of reef, then there exists another object such that the other object is an instance of sand or the other object is an instance of rock or the other object is an instance of coral and the other object is a part of the object
(=> (instance ?SS SandStorm) (exists (?SAND) (and (instance ?SAND Sand) (objectTransferred ?SS ?SAND))))	Weather.kif 1287-1292	If a transfer is an instance of sand storm, then there exists an object such that the object is an instance of sand and the object transferred in the transfer is the object

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

KB Term:			Term intersection

English Word: