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 18224-18226
(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 18220-18222
(externalImage Clay "http://upload.wikimedia.org/wikipedia/commons/1/1e/ Gay_head_cliffs_MV.JPG") pictureList.kif 5918-5918
(externalImage Clay "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Clay-ss-2005.jpg") pictureList.kif 6278-6278
(externalImage Clay "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Clay_In_A_Construction_Site.jpg") pictureList.kif 6279-6279
(subclass Clay Soil) Mid-level-ontology.kif 18219-18219 Clay is a subclass of soil

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


(industryProductType KaolinAndBallClayMining Clay) Economy.kif 1807-1807 Clay is an industry product type of kaolin and ball clay mining
(termFormat ChineseLanguage Clay "粘土") domainEnglishFormat.kif 15070-15070 Clay is an industry product type of kaolin and ball clay mining
(termFormat ChineseTraditionalLanguage Clay "粘土") domainEnglishFormat.kif 15069-15069 Clay is an industry product type of kaolin and ball clay mining
(termFormat EnglishLanguage Clay "clay") domainEnglishFormat.kif 15068-15068 Clay is an industry product type of kaolin and ball clay mining

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

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


(=>
    (instance ?B Brick)
    (material Clay ?B))
Mid-level-ontology.kif 4748-4750
(=>
    (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
(=>
    (instance ?POTTERY Pottery)
    (exists (?CLAY)
        (and
            (instance ?CLAY Clay)
            (part ?CLAY ?POTTERY))))
Mid-level-ontology.kif 3664-3669


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