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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Clay
Clay

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


(documentation Clay ChineseLanguage "Clay 是含矿物细粒泥土, 但不一定需要是粘土的矿物。(溫特瓦分級) 粘土 比 Silt 小,它的 approximateDiameter 在0.004 Millimeter 到 0.001 Millimeter 之间。") Mid-level-ontology.kif 15670-15672
(documentation Clay EnglishLanguage "Clay is fine-grained soil consisting of mineral particles, not necessarily clay minerals. Smaller than Silt (in the Wentworth Scale), clay particles range from 0.001 Millimeter to 0.004 Millimeter.") Mid-level-ontology.kif 15666-15668
(externalImage Clay "http://upload.wikimedia.org/wikipedia/commons/1/1e/ Gay_head_cliffs_MV.JPG") pictureList.kif 5919-5919
(externalImage Clay "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Clay-ss-2005.jpg") pictureList.kif 6279-6279
(externalImage Clay "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Clay_In_A_Construction_Site.jpg") pictureList.kif 6280-6280
(subclass Clay Soil) Mid-level-ontology.kif 15665-15665

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


(industryProductType KaolinAndBallClayMining Clay) Economy.kif 1811-1811
(termFormat ChineseLanguage Clay "粘土") Mid-level-ontology.kif 15674-15674
(termFormat EnglishLanguage Clay "clay") domainEnglishFormat.kif 2932-2932

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


(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Clay)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.004 ?Size)
        (greaterThan ?Size 0.001)))
Mid-level-ontology.kif 15676-15684

consequent
-------------------------


(=>
    (instance ?B Brick)
    (material Clay ?B))
Mid-level-ontology.kif 5074-5076
(=>
    (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 4106-4119
(=>
    (instance ?POTTERY Pottery)
    (exists (?CLAY)
        (and
            (instance ?CLAY Clay)
            (part ?CLAY ?POTTERY))))
Mid-level-ontology.kif 4206-4211


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