TreeView Knowledge Base Browser - groundSubsurfaceType

appearance as argument number 1

(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 5834-5836
(domain groundSubsurfaceType 1 LandArea)	Geography.kif 5837-5837	The number 1 argument of groundSubsurfaceType is an instance of land area
(domainSubclass groundSubsurfaceType 2 Substance)	Geography.kif 5838-5838	The number 2 argument of groundSubsurfaceType is a subclass of substance
(instance groundSubsurfaceType BinaryPredicate)	Geography.kif 5833-5833	groundSubsurfaceType is an instance of binary predicate

appearance as argument number 2

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

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))))

Geography.kif 5840-5849

appearance as argument number 0

(groundSubsurfaceType Mountain Rock)

Geography.kif 5593-5593