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 1808-1810
(instance FertileTerrain TerrainAttribute)	Geography.kif 1807-1807	Fertile terrain is an instance of terrain attribute

appearance as argument number 2

(termFormat ChineseLanguage FertileTerrain "肥沃的地形")	domainEnglishFormat.kif 23537-23537
(termFormat ChineseTraditionalLanguage FertileTerrain "肥沃的地形")	domainEnglishFormat.kif 23536-23536
(termFormat EnglishLanguage FertileTerrain "fertile terrain")	domainEnglishFormat.kif 23535-23535

antecedent

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

Geography.kif 1819-1821

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 5853-5858	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 1831-1837	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 1823-1829	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 4425-4429	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 1812-1816	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 6823-6825	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