| 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 17905-17908 | |
| (partition Rock Boulder Cobble Pebble) | Geography.kif 7257-7257 | 劃分 岩石, Boulder, Cobble and Pebble |
| (roomTempState Rock Solid) | Mid-level-ontology.kif 31411-31411 | roomTempState 岩石 and 固體 |
| (subclass Rock Substance) | Mid-level-ontology.kif 17904-17904 | 子類 岩石 and Substance |
| appearance as argument number 2 |
|
|
| (groundSubsurfaceType Mountain Rock) | Geography.kif 4041-4041 | 岩石 是 山 表面下的 ground |
| (groundSurfaceType Mountain Rock) | Geography.kif 4040-4040 | 岩石 是 山 的 ground 表面類別 |
| (industryProductType StoneMiningAndQuarrying Rock) | Economy.kif 1809-1809 | 岩石 是 採石和採石 的 industry 產品類別 |
| (subclass Boulder Rock) | Geography.kif 7309-7309 | 子類 Boulder and 岩石 |
| (subclass Coal Rock) | Geography.kif 2019-2019 | 子類 煤 and 岩石 |
| (subclass Cobble Rock) | Geography.kif 7286-7286 | 子類 Cobble and 岩石 |
| (subclass Marble Rock) | Geography.kif 4449-4449 | 子類 大理石 and 岩石 |
| (subclass Pebble Rock) | Geography.kif 7263-7263 | 子類 Pebble and 岩石 |
| (subclass Stone Rock) | Geography.kif 4471-4471 | 子類 石 and 岩石 |
| (termFormat ChineseLanguage Rock "岩石") | domainEnglishFormat.kif 50222-50222 | |
| (termFormat ChineseTraditionalLanguage Rock "岩石") | domainEnglishFormat.kif 50221-50221 | |
| (termFormat EnglishLanguage Rock "rock") | domainEnglishFormat.kif 50220-50220 |
| 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 17910-17912 | |
| (=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock)))) |
Mid-level-ontology.kif 17914-17919 |
| consequent |
|
|
| (=> (and (instance ?RAPIDS Rapids) (bottom ?BOTTOM ?RAPIDS)) (exists (?ROCK) (and (instance ?ROCK Rock) (part ?ROCK ?BOTTOM)))) |
Geography.kif 5646-5653 |
|
| (=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 6627-6631 | |
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 5949-5957 | |
| (=> (instance ?X Stoning) (exists (?ST) (and (instance ?ST Rock) (instrument ?X ?ST)))) |
Mid-level-ontology.kif 22084-22089 |
|
|
|