Loam - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Loam

Loam(loam)

chernozemic_soil, loam, regur, regur_soil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4337-4338
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6674-6674
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4336-4336	Loam is a subclass of soil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34805-34805
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34804-34804
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34803-34803

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4355-4359	If a land area is an instance of geographic area and loam is a ground surface type of the land area, then fertile terrain is an attribute of the land area
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

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