SteepTerrain - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SteepTerrain EnglishLanguage "A TerrainAttribute of a region in which there is a wide variation in elevation and slopeGradients of more than 10%.")	Geography.kif 1763-1765
(instance SteepTerrain TerrainAttribute)	Geography.kif 1761-1761	Steep terrain is an instance of terrain attribute

appearance as argument number 2

(subAttribute MountainousTerrain SteepTerrain)	Geography.kif 1776-1776	Mountainous terrain is a subattribute of steep terrain
(termFormat ChineseLanguage SteepTerrain "陡峭的地形")	domainEnglishFormat.kif 55317-55317	Mountainous terrain is a subattribute of steep terrain
(termFormat ChineseTraditionalLanguage SteepTerrain "陡峭的地形")	domainEnglishFormat.kif 55316-55316	Mountainous terrain is a subattribute of steep terrain
(termFormat EnglishLanguage SteepTerrain "steep terrain")	domainEnglishFormat.kif 55315-55315	Mountainous terrain is a subattribute of steep terrain

antecedent

(=>
    (attribute ?AREA SteepTerrain)
    (exists (?ZONE ?SLOPE)
        (and
            (part ?ZONE ?AREA)
            (slopeGradient ?ZONE ?SLOPE)
            (greaterThan ?SLOPE 0.1))))

Geography.kif 1767-1773

If steep terrain is an attribute of an object,
then there exist a land area and a nonnegative real number such that the land area is a part of the object and the nonnegative real number is a slope gradient of the land area and the nonnegative real number is greater than 0.1

consequent

(=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain))	Geography.kif 4234-4238	If a self connected object is an instance of mesa and a side of the self connected object is another self connected object, then steep terrain is an attribute of the other self connected object
(=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain))	Geography.kif 4245-4249	If a self connected object is an instance of butte and a side of the self connected object is another self connected object, then steep terrain is an attribute of the other self connected object
(=> (instance ?Mountain Mountain) (exists (?Incline) (and (instance ?Incline SlopedArea) (attribute ?Incline SteepTerrain) (part ?Incline ?Mountain))))	Geography.kif 4101-4107	If an object is an instance of mountain, then there exists another object such that the other object is an instance of sloped area and steep terrain is an attribute of the other object and the other object is a part of the object
(=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau))))	Geography.kif 4215-4221	If an object is an instance of plateau, then there exists another object such that the other object is an instance of sloped area and steep terrain is an attribute of the other object and the other object and the object overlapsSpatially

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: