TreeView Knowledge Base Browser - FertileTerrain

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

appearance as argument number 2

(termFormat ChineseLanguage FertileTerrain "肥沃的地形")	domainEnglishFormat.kif 23529-23529
(termFormat ChineseTraditionalLanguage FertileTerrain "肥沃的地形")	domainEnglishFormat.kif 23528-23528
(termFormat EnglishLanguage FertileTerrain "fertile terrain")	domainEnglishFormat.kif 23527-23527

antecedent

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

Geography.kif 1834-1836

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 5617-5622	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 1846-1852	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 1838-1844	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 4277-4281	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 1827-1831	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 6345-6347	If an object is an instance of oasis, then fertile terrain is an attribute of the object

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 3.0 is open source software produced by Articulate Software and its partners