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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SteepTerrain

Sigma KEE - SteepTerrain
SteepTerrain

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 1775-1777
(instance SteepTerrain TerrainAttribute) Geography.kif 1773-1773

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


(subAttribute MountainousTerrain SteepTerrain) Geography.kif 1788-1788
(termFormat ChineseLanguage SteepTerrain "陡峭的地形") domainEnglishFormat.kif 55284-55284
(termFormat ChineseTraditionalLanguage SteepTerrain "陡峭的地形") domainEnglishFormat.kif 55283-55283
(termFormat EnglishLanguage SteepTerrain "steep terrain") domainEnglishFormat.kif 55282-55282

antecedent
-------------------------


(=>
    (attribute ?AREA SteepTerrain)
    (exists (?ZONE ?SLOPE)
        (and
            (part ?ZONE ?AREA)
            (slopeGradient ?ZONE ?SLOPE)
            (greaterThan ?SLOPE 0.1))))
Geography.kif 1779-1785

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


(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))
Geography.kif 4165-4169
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 4176-4180
(=>
    (instance ?Mountain Mountain)
    (exists (?Incline)
        (and
            (instance ?Incline SlopedArea)
            (attribute ?Incline SteepTerrain)
            (part ?Incline ?Mountain))))
Geography.kif 4032-4038
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))
Geography.kif 4146-4152


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

Show without tree


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