CaveMatrix - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CaveMatrix LandForm)	Geography.kif 7648-7648	Cave matrix is a subclass of land form
(documentation CaveMatrix EnglishLanguage "A CaveMatrix is the framework of earth or rock in which a Cave is embedded.")	Geography.kif 7650-7651	Cave matrix is a subclass of land form
(externalImage CaveMatrix "http://upload.wikimedia.org/wikipedia/en/thumb/ 1/ 12/ Painted_cave.jpg/ 300px_Painted_cave.jpg")	pictureList.kif 1067-1067	Cave matrix is a subclass of land form

appearance as argument number 2

(termFormat EnglishLanguage CaveMatrix "cave matrix")	domainEnglishFormat.kif 13554-13554
(termFormat ChineseTraditionalLanguage CaveMatrix "洞穴矩陣")	domainEnglishFormat.kif 13555-13555
(termFormat ChineseLanguage CaveMatrix "洞穴矩阵")	domainEnglishFormat.kif 13556-13556

antecedent

(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))

If X is an instance of cave matrix, Y is an instance of cave, and Y is a hole in X, then equal X and the surface of the hole Y

consequent

(=>
    (instance ?cave Cave)
    (exists (?land)
        (and
            (instance ?land CaveMatrix)
            (hole ?cave ?land))))

If X is an instance of cave, then there exists Y such that Y is an instance of cave matrix and X is a hole in Y