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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlatTerrain
FlatTerrain

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 1691-1693
(instance FlatTerrain TerrainAttribute) Geography.kif 1689-1689

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


(termFormat EnglishLanguage FlatTerrain "flat terrain") domainEnglishFormat.kif 4455-4455

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


(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))
Geography.kif 1695-1700

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


(=>
    (and
        (instance ?Mesa Mesa)
        (top ?Top ?Mesa))
    (attribute ?Top FlatTerrain))
Geography.kif 3933-3937
(=>
    (and
        (instance ?Plateau Plateau)
        (top ?Top ?Plateau))
    (attribute ?Top FlatTerrain))
Geography.kif 3914-3918
(=>
    (and
        (instance ?butte Butte)
        (top ?top ?butte))
    (attribute ?top FlatTerrain))
Geography.kif 3956-3960
(=>
    (instance ?Delta Delta)
    (attribute ?Delta FlatTerrain))
Geography.kif 5450-5452
(=>
    (instance ?plain Plain)
    (attribute ?plain FlatTerrain))
Geography.kif 3994-3996


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners