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


KB Term:  Term intersection
English Word: 

  FlatTerrain

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 3218-3220
(instance FlatTerrain TerrainAttribute) Geography.kif 3216-3216 Flat terrain is an instance of terrain attribute

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


(termFormat ChineseLanguage FlatTerrain "平坦的地形") domainEnglishFormat.kif 24204-24204
(termFormat ChineseTraditionalLanguage FlatTerrain "平坦的地形") domainEnglishFormat.kif 24203-24203
(termFormat EnglishLanguage FlatTerrain "flat terrain") domainEnglishFormat.kif 24202-24202

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


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

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


(=>
    (and
        (instance ?Mesa Mesa)
        (top ?Top ?Mesa))
    (attribute ?Top FlatTerrain))
Geography.kif 5711-5715
(=>
    (and
        (instance ?Plateau Plateau)
        (top ?Top ?Plateau))
    (attribute ?Top FlatTerrain))
Geography.kif 5692-5696
(=>
    (and
        (instance ?butte Butte)
        (top ?top ?butte))
    (attribute ?top FlatTerrain))
Geography.kif 5734-5738
(=>
    (instance ?Delta Delta)
    (attribute ?Delta FlatTerrain))
Geography.kif 7404-7406
(=>
    (instance ?plain Plain)
    (attribute ?plain FlatTerrain))
Geography.kif 5774-5776


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