Rock - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Rock

Rock(rock)

clast, geode, rock, stone, wall_rock

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19476-19479
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7561-7561	Rock is exhaustively partitioned into boulder, cobble, and pebble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33356-33356	room temperature state rock and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19475-19475	Rock is a subclass of substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4248-4248	Rock is a ground subsurface type of mountain
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4247-4247	Rock is a ground surface type of mountain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1934-1934	Rock is an industry product type of stone mining and quarrying
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7613-7613	Boulder is a subclass of rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2144-2144	Coal is a subclass of rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7590-7590	Cobble is a subclass of rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4656-4656	Marble is a subclass of rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7567-7567	Pebble is a subclass of rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4678-4678	Stone is a subclass of rock
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50226-50226	Stone is a subclass of rock
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50225-50225	Stone is a subclass of rock
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50224-50224	Stone is a subclass of rock

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1949-1953	If a land area is an instance of geographic area and rock is a ground surface type of the land area, then fertile terrain is not an attribute of the land area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19481-19483	If an object is an instance of rock, then solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19485-19490	If an object is an instance of rock, then there exists another object such that the other object is an instance of mineral and the other object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5916-5923	If a self connected object is an instance of rapids and the bottom of the self connected object is another self connected object, then there exists an object such that the object is an instance of rock and the object is a part of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6897-6901	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 6219-6227	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.	Mid-level-ontology.kif 23727-23732	If a process is an instance of stoning, then there exists an object such that the object is an instance of rock and the object is an instrument for the process

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