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

(documentation Rock EnglishLanguage "Rock is any naturally formed aggregate of one or more minerals, consolidated or not, with some degree of mineralogic and chemical constancy, in popular use the term is usually restricted to those aggregates that are hard, compact, and coherent.")	Mid-level-ontology.kif 18163-18166
(partition Rock Boulder Cobble Pebble)	Geography.kif 7257-7257	Rock is exhaustively partitioned into boulder, cobble, and pebble
(roomTempState Rock Solid)	Mid-level-ontology.kif 31676-31676	roomTempState rock and solid
(subclass Rock Substance)	Mid-level-ontology.kif 18162-18162	Rock is a subclass of substance

appearance as argument number 2

(groundSubsurfaceType Mountain Rock)	Geography.kif 4041-4041	Rock is a ground subsurface type of mountain
(groundSurfaceType Mountain Rock)	Geography.kif 4040-4040	Rock is a ground surface type of mountain
(industryProductType StoneMiningAndQuarrying Rock)	Economy.kif 1809-1809	Rock is an industry product type of stone mining and quarrying
(subclass Boulder Rock)	Geography.kif 7309-7309	Boulder is a subclass of rock
(subclass Coal Rock)	Geography.kif 2019-2019	Coal is a subclass of rock
(subclass Cobble Rock)	Geography.kif 7286-7286	Cobble is a subclass of rock
(subclass Marble Rock)	Geography.kif 4449-4449	Marble is a subclass of rock
(subclass Pebble Rock)	Geography.kif 7263-7263	Pebble is a subclass of rock
(subclass Stone Rock)	Geography.kif 4471-4471	Stone is a subclass of rock
(termFormat ChineseLanguage Rock "岩石")	domainEnglishFormat.kif 50262-50262	Stone is a subclass of rock
(termFormat ChineseTraditionalLanguage Rock "岩石")	domainEnglishFormat.kif 50261-50261	Stone is a subclass of rock
(termFormat EnglishLanguage Rock "rock")	domainEnglishFormat.kif 50260-50260	Stone is a subclass of rock

antecedent

(=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain)))	Geography.kif 1824-1828	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
(=> (instance ?Rock Rock) (attribute ?Rock Solid))	Mid-level-ontology.kif 18168-18170	If an object is an instance of rock, then solid is an attribute of the object
(=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock))))	Mid-level-ontology.kif 18172-18177	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

(=> (and (instance ?RAPIDS Rapids) (bottom ?BOTTOM ?RAPIDS)) (exists (?ROCK) (and (instance ?ROCK Rock) (part ?ROCK ?BOTTOM))))	Geography.kif 5646-5653	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
(=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand)))	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
(=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef))))	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
(=> (instance ?X Stoning) (exists (?ST) (and (instance ?ST Rock) (instrument ?X ?ST))))	Mid-level-ontology.kif 22367-22372	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