ArableLand - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ArableLand

ArableLand(arable land)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2017-2019
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2015-2015	Arable land is a subclass of land area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8137-8137
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8136-8136
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8135-8135

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2049-2059	If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, then there exists another geographic area such that the other geographic area is an instance of arable land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the constant quantity and the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1008-1021	If a process is an instance of desertification and the process is located at 2, then there exist an entity and another entity such that the entity is an instance of arable land and the other entity is an instance of desert and overlaps spatially a third entity and the entity holds during the beginning of the time of existence of the process and overlaps spatially the third entity and the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2139-2151	If a constant quantity is an other land use area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, then there exists another geographic area such that the other geographic area is an instance of land area and the other geographic area is not an instance of arable land and the other geographic area is not an instance of permanent crop land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the constant quantity and the real number the unit of measure(s)

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners