Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SteepTerrain
SteepTerrain(steep terrain)steep

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 1933-1935
(instance SteepTerrain TerrainAttribute) Geography.kif 1931-1931 Steep terrain is an instance of terrain attribute

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


(subAttribute MountainousTerrain SteepTerrain) Geography.kif 1946-1946 Mountainous terrain is a subattribute of steep terrain
(termFormat ChineseLanguage SteepTerrain "陡峭的地形") domainEnglishFormat.kif 55288-55288 Mountainous terrain is a subattribute of steep terrain
(termFormat ChineseTraditionalLanguage SteepTerrain "陡峭的地形") domainEnglishFormat.kif 55287-55287 Mountainous terrain is a subattribute of steep terrain
(termFormat EnglishLanguage SteepTerrain "steep terrain") domainEnglishFormat.kif 55286-55286 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 1937-1943

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


(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))
Geography.kif 4405-4409
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 4416-4420
(=>
    (instance ?Mountain Mountain)
    (exists (?Incline)
        (and
            (instance ?Incline SlopedArea)
            (attribute ?Incline SteepTerrain)
            (part ?Incline ?Mountain))))
Geography.kif 4272-4278
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))
Geography.kif 4386-4392


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