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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Clay
Clay(clay)
Kitty_Litter, argil, bleaching_clay, bleaching_earth, clay

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


(documentation Clay ChineseLanguage "Clay 是含矿物细粒泥土, 但不一定需要是粘土的矿物。(溫特瓦分級) 粘土 比 Silt 小,它的 approximateDiameter 在0.004 Millimeter 到 0.001 Millimeter 之间。") Mid-level-ontology.kif 15671-15673
(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 15667-15669
(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 15666-15666 Clay is a subclass of soil

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


(industryProductType KaolinAndBallClayMining Clay) Economy.kif 1811-1811 Clay is an industry product type of kaolin and ball clay mining
(termFormat ChineseLanguage Clay "粘土") domainEnglishFormat.kif 14989-14989
(termFormat ChineseTraditionalLanguage Clay "粘土") domainEnglishFormat.kif 14988-14988
(termFormat EnglishLanguage Clay "clay") domainEnglishFormat.kif 14987-14987

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

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


(=>
    (instance ?B Brick)
    (material Clay ?B))
Mid-level-ontology.kif 5069-5071
(=>
    (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
(=>
    (instance ?POTTERY Pottery)
    (exists (?CLAY)
        (and
            (instance ?CLAY Clay)
            (part ?CLAY ?POTTERY))))
Mid-level-ontology.kif 4202-4207


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