arableLandArea - Sigma Knowledge base Browser

appearance as argument number 1

(instance arableLandArea BinaryPredicate)	Geography.kif 3526-3526	arable land area is an instance of binary predicate
(domain arableLandArea 1 GeographicArea)	Geography.kif 3527-3527	The number 1 argument of arable land area is an instance of geographic area
(domain arableLandArea 2 ConstantQuantity)	Geography.kif 3528-3528	The number 2 argument of arable land area is an instance of constant quantity
(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 3530-3533	The number 2 argument of arable land area is an instance of constant quantity

appearance as argument number 2

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

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 3535-3545	If X Y(s) is an arable land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, W is an instance of area measure, and equal V, X, and W, then V Y(s) is an arable land area of Z
(=> (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 3547-3561	If X Y(s) is an arable land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of arable land and V is a geographic subregion of Z and the measure of V is X and W Y(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)))

If X Y(s) is an arable land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, W is an instance of area measure, and equal V, X, and W, then V Y(s) is an arable land area of Z