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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FertileTerrain

Sigma KEE - FertileTerrain
FertileTerrain

appearance as argument number 1
-------------------------


(documentation FertileTerrain EnglishLanguage "FertileTerrain describes an area that has the type of soil and climate conditions needed to produce good quality crops.") Geography.kif 1791-1793
(instance FertileTerrain TerrainAttribute) Geography.kif 1790-1790

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


(termFormat ChineseLanguage FertileTerrain "肥沃的地形") domainEnglishFormat.kif 23529-23529
(termFormat ChineseTraditionalLanguage FertileTerrain "肥沃的地形") domainEnglishFormat.kif 23528-23528
(termFormat EnglishLanguage FertileTerrain "fertile terrain") domainEnglishFormat.kif 23527-23527

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


(=>
    (attribute ?AREA FertileTerrain)
    (capability Agriculture eventLocated ?AREA))
Geography.kif 1802-1804

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


(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))
Geography.kif 5502-5507
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1814-1820
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1806-1812
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Loam))
    (attribute ?area FertileTerrain))
Geography.kif 4193-4197
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 1795-1799
(=>
    (instance ?OASIS Oasis)
    (attribute ?OASIS FertileTerrain))
Geography.kif 6188-6190


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