groundSubsurfaceType - Sigma Knowledge base Browser

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 4061-4063
(domain groundSubsurfaceType 1 LandArea)	Geography.kif 4064-4064	The number 1 argument of ground subsurface type is an instance of land area
(domainSubclass groundSubsurfaceType 2 Substance)	Geography.kif 4065-4065	The number 2 argument of ground subsurface type is a subclass of substance
(instance groundSubsurfaceType BinaryPredicate)	Geography.kif 4060-4060	ground subsurface type 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 26635-26635
(termFormat ChineseTraditionalLanguage groundSubsurfaceType "地下表面類型")	domainEnglishFormat.kif 26634-26634
(termFormat EnglishLanguage groundSubsurfaceType "ground subsurface type")	domainEnglishFormat.kif 26633-26633

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 4067-4076

appearance as argument number 0

(groundSubsurfaceType Mountain Rock)

Geography.kif 3833-3833

Rock is a ground subsurface type of mountain