FlatTerrain - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FlatTerrain EnglishLanguage "FlatTerrain is a TerrainAttribute describing regions within which there is very little variation in altitude.")	Geography.kif 1738-1740
(instance FlatTerrain TerrainAttribute)	Geography.kif 1736-1736	Flat terrain is an instance of terrain attribute

appearance as argument number 2

(termFormat ChineseLanguage FlatTerrain "平坦的地形")	domainEnglishFormat.kif 24216-24216
(termFormat ChineseTraditionalLanguage FlatTerrain "平坦的地形")	domainEnglishFormat.kif 24215-24215
(termFormat EnglishLanguage FlatTerrain "flat terrain")	domainEnglishFormat.kif 24214-24214

antecedent

(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))

Geography.kif 1742-1747

consequent

(=> (and (instance ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain))	Geography.kif 4228-4232	If a self connected object is an instance of mesa and the top of the self connected object is another self connected object, then flat terrain is an attribute of the other self connected object
(=> (and (instance ?Plateau Plateau) (top ?Top ?Plateau)) (attribute ?Top FlatTerrain))	Geography.kif 4209-4213	If a self connected object is an instance of plateau and the top of the self connected object is another self connected object, then flat terrain is an attribute of the other self connected object
(=> (and (instance ?butte Butte) (top ?top ?butte)) (attribute ?top FlatTerrain))	Geography.kif 4251-4255	If a self connected object is an instance of butte and the top of the self connected object is another self connected object, then flat terrain is an attribute of the other self connected object
(=> (instance ?Delta Delta) (attribute ?Delta FlatTerrain))	Geography.kif 5858-5860	If an object is an instance of delta, then flat terrain is an attribute of the object
(=> (instance ?plain Plain) (attribute ?plain FlatTerrain))	Geography.kif 4291-4293	If an object is an instance of plain, then flat terrain is an attribute of the object