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

(documentation ArableLand EnglishLanguage "ArableLand is the subclass of LandArea that represents land in cultivation with crops that are replanted after each harvest, e.g., wheat and rice.")	Geography.kif 2017-2019
(subclass ArableLand LandArea)	Geography.kif 2015-2015	Arable land is a subclass of land area

appearance as argument number 2

(termFormat ChineseLanguage ArableLand "耕地")	domainEnglishFormat.kif 8137-8137
(termFormat ChineseTraditionalLanguage ArableLand "耕地")	domainEnglishFormat.kif 8136-8136
(termFormat EnglishLanguage ArableLand "arable land")	domainEnglishFormat.kif 8135-8135

consequent

(=> (and (arableLandArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?ARABLE) (and (instance ?ARABLE ArableLand) (geographicSubregion ?ARABLE ?REGION) (measure ?ARABLE (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	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)
(=> (and (instance ?DESERTIFICATION Desertification) (eventLocated ?DESERTIFICATION ?AREA)) (exists (?A1 ?A2) (and (instance ?A1 ArableLand) (instance ?A2 Desert) (holdsDuring (BeginFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A1)) (holdsDuring (EndFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A2)))))	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
(=> (and (otherLandUseArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?OTHER) (and (instance ?OTHER LandArea) (not (instance ?OTHER ArableLand)) (not (instance ?OTHER PermanentCropLand)) (geographicSubregion ?OTHER ?REGION) (measure ?OTHER (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	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