groundSurfaceType - Sigma Knowledge base Browser

appearance as argument number 1

(documentation groundSurfaceType EnglishLanguage "(%&groundSurfaceType ?area ?substance) means that the predominant Substance at the ground surface of the LandArea ?area is ?substance.")	Geography.kif 4276-4277
(domain groundSurfaceType 1 LandArea)	Geography.kif 4278-4278	The number 1 argument of ground surface type is an instance of land area
(domainSubclass groundSurfaceType 2 Substance)	Geography.kif 4279-4279	The number 2 argument of ground surface type is a subclass of substance
(instance groundSurfaceType BinaryPredicate)	Geography.kif 4275-4275	ground surface type is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage groundSurfaceType "%2 %n 是 %1 的 ground 表面类别")	domainEnglishFormat.kif 1133-1133
(format ChineseTraditionalLanguage groundSurfaceType "%2 %n 是 %1 的 ground 表面類別")	domainEnglishFormat.kif 1132-1132
(format EnglishLanguage groundSurfaceType "%2 is %n a ground surface type of %1")	domainEnglishFormat.kif 1131-1131
(termFormat ChineseLanguage groundSurfaceType "地面类型")	domainEnglishFormat.kif 26752-26752
(termFormat ChineseTraditionalLanguage groundSurfaceType "地面類型")	domainEnglishFormat.kif 26751-26751
(termFormat EnglishLanguage groundSurfaceType "ground surface type")	domainEnglishFormat.kif 26750-26750

antecedent

(=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Loam)) (attribute ?area FertileTerrain))	Geography.kif 4355-4359	If a land area is an instance of geographic area and loam is a ground surface type of the land area, then fertile terrain is an attribute of the land area
(=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain)))	Geography.kif 1824-1828	If a land area is an instance of geographic area and rock is a ground surface type of the land area, then fertile terrain is not an attribute of the land area
(=> (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 4288-4297	If a land area is an instance of land area and a kind of substance is a ground surface type of the land area and another kind of substance is a ground subsurface type of the land area, then there exist an object and another object such that the object is an instance of a kind of substance and the other object is an instance of another kind of substance and the object is above to the other object

consequent

(=>
    (instance ?DESERT Desert)
    (or
        (groundSurfaceType ?DESERT Rock)
        (groundSurfaceType ?DESERT Sand)))

Geography.kif 6627-6631

appearance as argument number 0

(groundSurfaceType Mountain Rock)

Geography.kif 4040-4040

Rock is a ground surface type of mountain