|
|
   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 6353-6354 | |
| (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 6351-6351 | 洞穴矩阵 是 土地形式 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CaveMatrix "洞穴矩阵") | domainEnglishFormat.kif 13557-13557 | |
| (termFormat ChineseTraditionalLanguage CaveMatrix "洞穴矩陣") | domainEnglishFormat.kif 13556-13556 | |
| (termFormat EnglishLanguage CaveMatrix "cave matrix") | domainEnglishFormat.kif 13555-13555 |
| antecedent |
|
|
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 6363-6368 |
| consequent |
|
|
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 6356-6361 |
|
|
|
