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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4169-4171
(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 4164-4167
(subclass Silt Soil) Geography.kif 4175-4175 Silt is a subclass of soil

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


(termFormat ChineseLanguage Silt "淤泥") domainEnglishFormat.kif 52981-52981
(termFormat ChineseTraditionalLanguage Silt "淤泥") domainEnglishFormat.kif 52980-52980
(termFormat EnglishLanguage Silt "silt") domainEnglishFormat.kif 52979-52979

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


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

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 4119-4132


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners