| CaveMatrix(cave matrix)
|
| 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 6050-6051 | |
| (externalImage CaveMatrix "http://upload.wikimedia.org/wikipedia/en/thumb/ 1/ 12/ Painted_cave.jpg/ 300px-Painted_cave.jpg") | pictureList.kif 1067-1067 | |
| (subclass CaveMatrix LandForm) | Geography.kif 6048-6048 | Cave matrix is a subclass of land form |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CaveMatrix "洞穴矩阵") | domainEnglishFormat.kif 13564-13564 | |
| (termFormat ChineseTraditionalLanguage CaveMatrix "洞穴矩陣") | domainEnglishFormat.kif 13563-13563 | |
| (termFormat EnglishLanguage CaveMatrix "cave matrix") | domainEnglishFormat.kif 13562-13562 |
| antecedent |
|
|
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 6060-6065 |
|
| consequent |
|
|
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 6053-6058 |
|
|
|
|