|
|
   CaveMatrix
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CaveMatrix EnglishLanguage "A CaveMatrix is the framework of earth or rock in which a Cave is embedded.") | Geography.kif 5632-5633 | |
| (externalImage CaveMatrix "http://upload.wikimedia.org/wikipedia/en/thumb/ 1/ 12/ Painted_cave.jpg/ 300px-Painted_cave.jpg") | pictureList.kif 1068-1068 | |
| (subclass CaveMatrix LandForm) | Geography.kif 5630-5630 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CaveMatrix "cave matrix") | domainEnglishFormat.kif 2681-2681 |
| antecedent |
|
|
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 5642-5647 |
| consequent |
|
|
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 5635-5640 |
|
|
|
