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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Silt

Sigma KEE - Silt
Silt

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


(documentation Silt ChineseLanguage "Silt 是由水流冲积于河口或河流弯曲处的沉积物。(溫特瓦分級) 淤泥比砂小而比 Clay 大,它的 approximateDiameter 在0.004 Millimeter 到 0.062 Millimeter 之间。") Geography.kif 4228-4230
(documentation Silt EnglishLanguage "Silt is sediment carried along by flowing water and deposited at a bend in a river or at a river's opening. Smaller than Sand and larger than Clay (on the Wentworth Scale), silt particles range from 0.004 Millimeters to 0.062 Millimeters.") Geography.kif 4223-4226
(subclass Silt Soil) Geography.kif 4234-4234

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


(termFormat ChineseLanguage Silt "淤泥") domainEnglishFormat.kif 53066-53066
(termFormat ChineseTraditionalLanguage Silt "淤泥") domainEnglishFormat.kif 53065-53065
(termFormat EnglishLanguage Silt "silt") domainEnglishFormat.kif 53064-53064

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


(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Silt)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.062 ?Size)
        (greaterThan ?Size 0.004)))
Geography.kif 4236-4244

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 4178-4191


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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