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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FertileTerrain
FertileTerrain(fertile terrain)

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 1773-1775
(instance FertileTerrain TerrainAttribute) Geography.kif 1772-1772 Fertile terrain is an instance of terrain attribute

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


(termFormat ChineseLanguage FertileTerrain "肥沃的地形") domainEnglishFormat.kif 23470-23470
(termFormat ChineseTraditionalLanguage FertileTerrain "肥沃的地形") domainEnglishFormat.kif 23469-23469
(termFormat EnglishLanguage FertileTerrain "fertile terrain") domainEnglishFormat.kif 23468-23468

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


(=>
    (attribute ?AREA FertileTerrain)
    (capability Agriculture eventLocated ?AREA))
Geography.kif 1784-1786

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


(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))
Geography.kif 5411-5416
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1796-1802
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1788-1794
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Loam))
    (attribute ?area FertileTerrain))
Geography.kif 4134-4138
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 1777-1781
(=>
    (instance ?OASIS Oasis)
    (attribute ?OASIS FertileTerrain))
Geography.kif 6092-6094


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