Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SteepTerrain
SteepTerrain(steep terrain)steep

appearance as argument number 1
-------------------------


(instance SteepTerrain TerrainAttribute) Geography.kif 3224-3224 Steep terrain is an instance of terrain attribute
(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 3226-3228 Steep terrain is an instance of terrain attribute

appearance as argument number 2
-------------------------


(subAttribute MountainousTerrain SteepTerrain) Geography.kif 3239-3239 Mountainous terrain is a subattribute of steep terrain
(termFormat EnglishLanguage SteepTerrain "steep terrain") domainEnglishFormat.kif 55279-55279 Mountainous terrain is a subattribute of steep terrain
(termFormat ChineseTraditionalLanguage SteepTerrain "陡峭的地形") domainEnglishFormat.kif 55280-55280 Mountainous terrain is a subattribute of steep terrain
(termFormat ChineseLanguage SteepTerrain "陡峭的地形") domainEnglishFormat.kif 55281-55281 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 3230-3236 If steep terrain is an attribute of X, then there exist Y, Z such that Y is a part of X, Z is a slope gradient of Y, and Z is greater than 0.1

consequent
-------------------------


(=>
    (instance ?Mountain Mountain)
    (exists (?Incline)
        (and
            (instance ?Incline SlopedArea)
            (attribute ?Incline SteepTerrain)
            (part ?Incline ?Mountain))))		 Geography.kif 5545-5551 If X is an instance of mountain, then there exists Y such that Y is an instance of sloped area, steep terrain is an attribute of Y, and Y is a part of X
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))		 Geography.kif 5650-5656 If X is an instance of plateau, then there exists Y such that Y is an instance of sloped area, steep terrain is an attribute of Y, Y, and X overlapsSpatially
(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))		 Geography.kif 5669-5673 If X is an instance of mesa and a side of X is Y, then steep terrain is an attribute of Y
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))		 Geography.kif 5680-5684 If X is an instance of butte and a side of X is Y, then steep terrain is an attribute of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners