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 17932-17935 | |
(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 31443-31443 | roomTempState rock and solid |
(subclass Rock Substance) | Mid-level-ontology.kif 17931-17931 | 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 50224-50224 | |
(termFormat ChineseTraditionalLanguage Rock "岩石") | domainEnglishFormat.kif 50223-50223 | |
(termFormat EnglishLanguage Rock "rock") | domainEnglishFormat.kif 50222-50222 |
antecedent |
![]() |
(=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain))) |
Geography.kif 1824-1828 |
|
(=> (instance ?Rock Rock) (attribute ?Rock Solid)) |
Mid-level-ontology.kif 17937-17939 | |
(=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock)))) |
Mid-level-ontology.kif 17941-17946 |
|
consequent |
![]() |
![]() |
![]() |