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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1820-1822
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1819-1819	Fertile terrain is an instance of terrain attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23534-23534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23533-23533
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23532-23532

antecedent

No TPTP formula. May not be expressible in strict first order.

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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