FertileTerrain - Sigma Knowledge base Browser

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 23461-23461
(termFormat ChineseTraditionalLanguage FertileTerrain "肥沃的地形")	domainEnglishFormat.kif 23460-23460
(termFormat EnglishLanguage FertileTerrain "fertile terrain")	domainEnglishFormat.kif 23459-23459

antecedent

(=>
(attribute ?AREA FertileTerrain)
(capability Agriculture eventLocated ?AREA))

Geography.kif 1784-1786

If fertile terrain is an attribute of an object,
then the object is capable of doing agriculture as a event located

consequent

(=> (and (instance ?IRRIGATION Irrigating) (patient ?IRRIGATION ?AREA) (instance ?AREA LandArea)) (hasPurpose ?IRRIGATION (attribute ?AREA FertileTerrain)))	Geography.kif 5396-5401	If a process is an instance of irrigating and an entity is a patient of the process and the entity is an instance of land area, then the process purpose fertile terrain is an attribute of the entity
(=> (and (instance ?SOIL Soil) (attribute ?SOIL Red) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (attribute ?AREA FertileTerrain))	Geography.kif 1796-1802	If a corpuscular object is an instance of soil and red is an attribute of the corpuscular object and another corpuscular object is an instance of land area and the corpuscular object is a component of the other corpuscular object, then fertile terrain is an attribute of the other corpuscular object
(=> (and (instance ?SOIL Soil) (attribute ?SOIL Yellow) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (not (attribute ?AREA FertileTerrain)))	Geography.kif 1788-1794	If a corpuscular object is an instance of soil and yellow is an attribute of the corpuscular object and another corpuscular object is an instance of land area and the corpuscular object is a component of the other corpuscular object, then fertile terrain is not an attribute of the other corpuscular object
(=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Loam)) (attribute ?area FertileTerrain))	Geography.kif 4134-4138	If a land area is an instance of geographic area and loam is a ground ace type of the land area, then fertile terrain is an attribute of the land area
(=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain)))	Geography.kif 1777-1781	If a land area is an instance of geographic area and rock is a ground ace type of the land area, then fertile terrain is not an attribute of the land area
(=> (instance ?OASIS Oasis) (attribute ?OASIS FertileTerrain))	Geography.kif 5999-6001	If an object is an instance of oasis, then fertile terrain is an attribute of the object

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