TreeView Knowledge Base Browser - groundSubsurfaceType

appearance as argument number 1

(instance groundSubsurfaceType BinaryPredicate)	Geography.kif 5785-5785	ground subsurface type is an instance of binary predicate
(documentation groundSubsurfaceType EnglishLanguage "(groundSubsurfaceType ?area ?subsoil) means that the predominant Substance in the subsoil or subsurface layer of the LandArea ?area is of type ?subsoil.")	Geography.kif 5786-5788	ground subsurface type is an instance of binary predicate
(domain groundSubsurfaceType 1 LandArea)	Geography.kif 5789-5789	The number 1 argument of ground subsurface type is an instance of land area
(domainSubclass groundSubsurfaceType 2 Substance)	Geography.kif 5790-5790	The number 2 argument of ground subsurface type is a subclass of substance

appearance as argument number 2

(format EnglishLanguage groundSubsurfaceType "%2 is %n a ground subsurface type of %1")	domainEnglishFormat.kif 1127-1127
(format ChineseTraditionalLanguage groundSubsurfaceType "%2 %n 是 %1 表面下的 ground ")	domainEnglishFormat.kif 1128-1128
(format ChineseLanguage groundSubsurfaceType "%2 %n 是 %1 表面下的 ground ")	domainEnglishFormat.kif 1129-1129
(termFormat EnglishLanguage groundSubsurfaceType "ground subsurface type")	domainEnglishFormat.kif 26714-26714
(termFormat ChineseTraditionalLanguage groundSubsurfaceType "地下表面類型")	domainEnglishFormat.kif 26715-26715
(termFormat ChineseLanguage groundSubsurfaceType "地下表面类型")	domainEnglishFormat.kif 26716-26716

antecedent

(=>
    (and
        (instance ?area LandArea)
        (groundSurfaceType ?area ?type1)
        (groundSubsurfaceType ?area ?type2))
    (exists (?above ?below)
        (and
            (instance ?above ?type1)
            (instance ?below ?type2)
            (orientation ?above ?below Above))))

If X is an instance of land area, Y is a ground surface type of X, and Z is a ground subsurface type of X, then there exist W, V such that W is an instance of Y, V is an instance of Z, and W is above to V

consequent

(=>
(instance ?M Mountain)
(groundSubsurfaceType ?M Rock))

If X is an instance of mountain, then rock is a ground subsurface type of X