Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Rock(rock) |  | clast, geode, rock, stone, wall_rock |
| appearance as argument number 1 |
|
|
| (subclass Rock Substance) | Mid-level-ontology.kif 19838-19838 | Rock is a subclass of substance |
| (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 19839-19842 | Rock is a subclass of substance |
| (roomTempState Rock Solid) | Mid-level-ontology.kif 33915-33915 | room temperature state rock and solid |
| (partition Rock Boulder Cobble Pebble) | Geography.kif 8916-8916 | Rock is exhaustively partitioned into boulder, cobble, and pebble |
| appearance as argument number 2 |
|
|
| (industryProductType StoneMiningAndQuarrying Rock) | Economy.kif 1929-1929 | Rock is an industry product type of stone mining and quarrying |
| (subclass Coal Rock) | Geography.kif 3471-3471 | Coal is a subclass of rock |
| (subclass Marble Rock) | Geography.kif 5953-5953 | Marble is a subclass of rock |
| (subclass Stone Rock) | Geography.kif 5976-5976 | Stone is a subclass of rock |
| (subclass Pebble Rock) | Geography.kif 8919-8919 | Pebble is a subclass of rock |
| (subclass Cobble Rock) | Geography.kif 8940-8940 | Cobble is a subclass of rock |
| (subclass Boulder Rock) | Geography.kif 8961-8961 | Boulder is a subclass of rock |
| (termFormat EnglishLanguage Rock "rock") | domainEnglishFormat.kif 50217-50217 | Boulder is a subclass of rock |
| (termFormat ChineseTraditionalLanguage Rock "岩石") | domainEnglishFormat.kif 50218-50218 | Boulder is a subclass of rock |
| (termFormat ChineseLanguage Rock "岩石") | domainEnglishFormat.kif 50219-50219 | Boulder is a subclass of rock |
| antecedent |
|
|
| (=> (instance ?Rock Rock) (attribute ?Rock Solid)) |
Mid-level-ontology.kif 19844-19846 | If X is an instance of rock, then solid is an attribute of X |
| (=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock)))) |
Mid-level-ontology.kif 19848-19853 | If X is an instance of rock, then there exists Y such that Y is an instance of mineral and Y is a part of X |
| (=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain))) |
Geography.kif 3275-3279 | If X is an instance of geographic area and rock is a ground surface type of X, then fertile terrain is not an attribute of X |
| consequent |
|
|
| (=> (instance ?X Stoning) (exists (?ST) (and (instance ?ST Rock) (instrument ?X ?ST)))) |
Mid-level-ontology.kif 24375-24380 | If X is an instance of stoning, then there exists Y such that Y is an instance of rock and Y is an instrument for X |
| (=> (instance ?M Mountain) (groundSurfaceType ?M Rock)) |
Geography.kif 5553-5555 | If X is an instance of mountain, then rock is a ground surface type of X |
| (=> (instance ?M Mountain) (groundSubsurfaceType ?M Rock)) |
Geography.kif 5557-5559 | If X is an instance of mountain, then rock is a ground subsurface type of X |
| (=> (and (instance ?RAPIDS Rapids) (bottom ?BOTTOM ?RAPIDS)) (exists (?ROCK) (and (instance ?ROCK Rock) (part ?ROCK ?BOTTOM)))) |
Geography.kif 7246-7253 | If X is an instance of rapids and the bottom of X is Y, then there exists Z such that Z is an instance of rock and Z is a part of Y |
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 7549-7557 | If X is an instance of reef, then there exists Y such that Y is an instance of sand, Y is an instance of rock, or Y is an instance of coral and Y is a part of X |
| (=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 8257-8261 | If X is an instance of desert, then rock is a ground surface type of X or sand is a ground surface type of X |
|