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 1761-1763
(instance FertileTerrain TerrainAttribute) Geography.kif 1760-1760 FertileTerrain 是 TerrainAttribute 的 instance

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


(termFormat EnglishLanguage FertileTerrain "fertile terrain") domainEnglishFormat.kif 4344-4344 termFormat EnglishLanguage, FertileTerrain and "fertile terrain"

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


(=>
    (attribute ?AREA FertileTerrain)
    (capability Agriculture eventLocated ?AREA))		 Geography.kif 1772-1774

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


(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))		 Geography.kif 5381-5386
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))		 Geography.kif 1784-1790
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))		 Geography.kif 1776-1782
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Loam))
    (attribute ?area FertileTerrain))		 Geography.kif 4121-4125
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))		 Geography.kif 1765-1769
(=>
    (instance ?OASIS Oasis)
    (attribute ?OASIS FertileTerrain))		 Geography.kif 5983-5985


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