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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Silt
Silt

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


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

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


(termFormat ChineseLanguage Silt "淤泥") domainEnglishFormat.kif 53096-53096
(termFormat ChineseTraditionalLanguage Silt "淤泥") domainEnglishFormat.kif 53095-53095
(termFormat EnglishLanguage Silt "silt") domainEnglishFormat.kif 53094-53094

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


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

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