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 4481-4483
(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 4476-4479
(subclass Silt Soil) Geography.kif 4487-4487 Silt is a subclass of soil

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


(termFormat ChineseLanguage Silt "淤泥") domainEnglishFormat.kif 53117-53117
(termFormat ChineseTraditionalLanguage Silt "淤泥") domainEnglishFormat.kif 53116-53116
(termFormat EnglishLanguage Silt "silt") domainEnglishFormat.kif 53115-53115

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


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

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


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