|
|
   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 5947-5948 | |
| (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 5945-5945 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CaveMatrix "洞穴矩阵") | domainEnglishFormat.kif 13551-13551 | |
| (termFormat ChineseTraditionalLanguage CaveMatrix "洞穴矩陣") | domainEnglishFormat.kif 13550-13550 | |
| (termFormat EnglishLanguage CaveMatrix "cave matrix") | domainEnglishFormat.kif 13549-13549 |
| antecedent |
|
|
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 5957-5962 |
| consequent |
|
|
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 5950-5955 |
|
|
|
