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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Silt

Sigma KEE - Silt
Silt(silt)silt

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


(documentation Silt ChineseLanguage "Silt 是由水流冲积于河口或河流弯曲处的沉积物。(溫特瓦分級) 淤泥比砂小而比 Clay 大,它的 approximateDiameter 在0.004 Millimeter 到 0.062 Millimeter 之间。") Geography.kif 4412-4414
(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 4407-4410
(subclass Silt Soil) Geography.kif 4418-4418 Silt is a subclass of soil

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


(termFormat ChineseLanguage Silt "淤泥") domainEnglishFormat.kif 53084-53084
(termFormat ChineseTraditionalLanguage Silt "淤泥") domainEnglishFormat.kif 53083-53083
(termFormat EnglishLanguage Silt "silt") domainEnglishFormat.kif 53082-53082

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


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

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 4340-4353


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