arableLandArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation arableLandArea EnglishLanguage "(arableLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has ?AMOUNT of land under cultivation with crops that are replanted after each harvest. Cf. permanentCropLandArea.")	Geography.kif 2063-2066
(domain arableLandArea 1 GeographicArea)	Geography.kif 2060-2060	The number 1 argument of arable land area is an instance of geographic area
(domain arableLandArea 2 ConstantQuantity)	Geography.kif 2061-2061	The number 2 argument of arable land area is an instance of constant quantity
(instance arableLandArea BinaryPredicate)	Geography.kif 2059-2059	arable land area is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage arableLandArea "%2 %n 是 %1 的 arable 土地")	domainEnglishFormat.kif 192-192
(format ChineseTraditionalLanguage arableLandArea "%2 %n 是 %1 的 arable 土地")	domainEnglishFormat.kif 191-191
(format EnglishLanguage arableLandArea "%2 is %n an arable land area of %1")	domainEnglishFormat.kif 190-190
(termFormat ChineseLanguage arableLandArea "耕地面积")	domainEnglishFormat.kif 8143-8143
(termFormat ChineseTraditionalLanguage arableLandArea "耕地面積")	domainEnglishFormat.kif 8142-8142
(termFormat EnglishLanguage arableLandArea "arable land area")	domainEnglishFormat.kif 8141-8141

antecedent

(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?TOTAL AreaMeasure) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (arableLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2068-2078	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number, then the third real number the unit of measure(s) is an arable land area of the geographic area
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.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 2080-2094	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, 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 real number and the other real number the unit of measure(s)

consequent

(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))

Geography.kif 2068-2078

If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number,
then the third real number the unit of measure(s) is an arable land area of the geographic area

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

KB Term:			Term intersection

English Word: