Sand - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sand

Sand(sand)

dune, quicksand, sand, sand_dune, seif_dune

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4438-4440
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4432-4436
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 970-970
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4430-4430	Sand is a subclass of soil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1805-1805	Sand is an industry product type of industrial sand mining
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4442-4442	Sand is an industry product type of industrial sand mining
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51090-51090	Sand is an industry product type of industrial sand mining
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51089-51089	Sand is an industry product type of industrial sand mining
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51088-51088	Sand is an industry product type of industrial sand mining

antecedent

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

Geography.kif 4444-4452

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

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1259-1280	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4466-4468	If a corpuscular object is an instance of dune, then the corpuscular object is made of sand
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6695-6699	If a land area is an instance of desert, then rock is a ground surface type of the land area or sand is a ground surface type of the land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4409-4422	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.	Geography.kif 6018-6026	If an object is an instance of reef, then there exists another object such that the other object is an instance of sand or the other object is an instance of rock or the other object is an instance of coral and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1287-1292	If a transfer is an instance of sand storm, then there exists an object such that the object is an instance of sand and the object transferred in the transfer is 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