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 4369-4371
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4363-4367
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 4361-4361	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 4373-4373
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51057-51057
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51056-51056
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51055-51055

antecedent

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

Geography.kif 4375-4383

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 1275-1296	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 4397-4399	If a kind of substance is an instance of dune, then sand is made of a kind of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6627-6631	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 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.	Geography.kif 5949-5957	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 1303-1308	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