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 1820-1822
(instance FertileTerrain TerrainAttribute)	Geography.kif 1819-1819	Fertile terrain is an instance of terrain attribute

appearance as argument number 2

(termFormat ChineseLanguage FertileTerrain "肥沃的地形")	domainEnglishFormat.kif 23554-23554
(termFormat ChineseTraditionalLanguage FertileTerrain "肥沃的地形")	domainEnglishFormat.kif 23553-23553
(termFormat EnglishLanguage FertileTerrain "fertile terrain")	domainEnglishFormat.kif 23552-23552

antecedent

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

Geography.kif 1831-1833

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 5720-5725	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 has the 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 1843-1849	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 1835-1841	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 4355-4359	If a land area is an instance of geographic area and loam is a ground surface 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 1824-1828	If a land area is an instance of geographic area and rock is a ground surface type of the land area, then fertile terrain is not an attribute of the land area
(=> (instance ?OASIS Oasis) (attribute ?OASIS FertileTerrain))	Geography.kif 6657-6659	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