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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlatTerrain
FlatTerrain(flat terrain)

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 1750-1752
(instance FlatTerrain TerrainAttribute) Geography.kif 1748-1748 Flat terrain is an instance of terrain attribute

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


(termFormat ChineseLanguage FlatTerrain "平坦的地形") domainEnglishFormat.kif 24222-24222
(termFormat ChineseTraditionalLanguage FlatTerrain "平坦的地形") domainEnglishFormat.kif 24221-24221
(termFormat EnglishLanguage FlatTerrain "flat terrain") domainEnglishFormat.kif 24220-24220

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


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

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


(=>
    (and
        (instance ?Mesa Mesa)
        (top ?Top ?Mesa))
    (attribute ?Top FlatTerrain))
Geography.kif 4159-4163
(=>
    (and
        (instance ?Plateau Plateau)
        (top ?Top ?Plateau))
    (attribute ?Top FlatTerrain))
Geography.kif 4140-4144
(=>
    (and
        (instance ?butte Butte)
        (top ?top ?butte))
    (attribute ?top FlatTerrain))
Geography.kif 4182-4186
(=>
    (instance ?Delta Delta)
    (attribute ?Delta FlatTerrain))
Geography.kif 5789-5791
(=>
    (instance ?plain Plain)
    (attribute ?plain FlatTerrain))
Geography.kif 4222-4224


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