|
|
   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 5646-5647 | |
| (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 5644-5644 | 洞穴矩阵 是 土地形式 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CaveMatrix "洞穴矩阵") | domainEnglishFormat.kif 13483-13483 | |
| (termFormat ChineseTraditionalLanguage CaveMatrix "洞穴矩陣") | domainEnglishFormat.kif 13482-13482 | |
| (termFormat EnglishLanguage CaveMatrix "cave matrix") | domainEnglishFormat.kif 13481-13481 |
| antecedent |
|
|
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 5656-5661 |
| consequent |
|
|
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 5649-5654 |
|
|
|
