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 19476-19479 | |
(partition Rock Boulder Cobble Pebble) | Geography.kif 7594-7594 | |
(roomTempState Rock Solid) | Mid-level-ontology.kif 33356-33356 | |
(subclass Rock Substance) | Mid-level-ontology.kif 19475-19475 |
appearance as argument number 2 |
![]() |
(groundSubsurfaceType Mountain Rock) | Geography.kif 4281-4281 | |
(groundSurfaceType Mountain Rock) | Geography.kif 4280-4280 | |
(industryProductType StoneMiningAndQuarrying Rock) | Economy.kif 1934-1934 | |
(subclass Boulder Rock) | Geography.kif 7646-7646 | |
(subclass Coal Rock) | Geography.kif 2177-2177 | |
(subclass Cobble Rock) | Geography.kif 7623-7623 | |
(subclass Marble Rock) | Geography.kif 4689-4689 | |
(subclass Pebble Rock) | Geography.kif 7600-7600 | |
(subclass Stone Rock) | Geography.kif 4711-4711 | |
(termFormat ChineseLanguage Rock "岩石") | domainEnglishFormat.kif 50226-50226 | |
(termFormat ChineseTraditionalLanguage Rock "岩石") | domainEnglishFormat.kif 50225-50225 | |
(termFormat EnglishLanguage Rock "rock") | domainEnglishFormat.kif 50224-50224 |
antecedent |
![]() |
(=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain))) |
Geography.kif 1982-1986 | |
(=> (instance ?Rock Rock) (attribute ?Rock Solid)) |
Mid-level-ontology.kif 19481-19483 | |
(=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock)))) |
Mid-level-ontology.kif 19485-19490 |
consequent |
![]() |
(=> (and (instance ?RAPIDS Rapids) (bottom ?BOTTOM ?RAPIDS)) (exists (?ROCK) (and (instance ?ROCK Rock) (part ?ROCK ?BOTTOM)))) |
Geography.kif 5949-5956 | |
(=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 6930-6934 | |
(=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 6252-6260 | |
(=> (instance ?X Stoning) (exists (?ST) (and (instance ?ST Rock) (instrument ?X ?ST)))) |
Mid-level-ontology.kif 23727-23732 |
![]() |
![]() |