Gravel - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Gravel

Gravel(gravel)

ballast, bank_gravel, caliche, crushed_rock, gravel, pit-run_gravel, pit_run, shingle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4434-4435
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4430-4432
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 472-472
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31607-31607	roomTempState gravel and solid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4440-4440	Gravel is a subclass of mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26502-26502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26501-26501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26500-26500

antecedent

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

Geography.kif 4442-4447

If an object is an instance of gravel,
then there exists another object such that the other object is a part of the object and the other object is an instance of pebble

consequent

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