Clay - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17966-17968
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17962-17964
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5918-5918
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6278-6278
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6279-6279
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17961-17961	Clay is a subclass of soil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1807-1807	Clay is an industry product type of kaolin and ball clay mining
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15054-15054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15053-15053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15052-15052

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 17972-17980

If a self connected object is a part of an object and the object is an instance of clay and the approximate diameter of the self connected object is a real number millimeter(s),
then 0.004 is greater than the real number and the real number is greater than 0.001

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4753-4755	If a corpuscular object is an instance of brick, then the corpuscular object is made of clay
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4340-4353	If a substance is an instance of loam, then there exist another substance, a third substance,, , a fourth substance,, , a fifth substance and a sixth substance such that the other substance is an instance of clay and the other substance is a piece of the substance and the fourth substance is an instance of gravel and the fourth substance is a piece of the substance and the third substance is an instance of sand and the third substance is a piece of the substance and the fifth substance is an instance of silt and the fifth substance is a piece of the substance and the sixth substance is an instance of body substance and the sixth substance is a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3671-3676	If an object is an instance of pottery, then there exists another object such that the other object is an instance of clay and the other object is a part of the object

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