TreeView Knowledge Base Browser - permanentCropLandArea

appearance as argument number 1

(instance permanentCropLandArea BinaryPredicate)	Geography.kif 3570-3570	permanent crop land area is an instance of binary predicate
(domain permanentCropLandArea 1 GeographicArea)	Geography.kif 3571-3571	The number 1 argument of permanent crop land area is an instance of geographic area
(domain permanentCropLandArea 2 ConstantQuantity)	Geography.kif 3572-3572	The number 2 argument of permanent crop land area is an instance of constant quantity
(documentation permanentCropLandArea EnglishLanguage "(permanentCropLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has ?AMOUNT of land under cultivation with crops that are not replanted after each harvest. This includes orchards, vineyards, coffee and rubber plantations. Cf. permanentCropLandArea.")	Geography.kif 3574-3578	The number 2 argument of permanent crop land area is an instance of constant quantity

appearance as argument number 2

(format EnglishLanguage permanentCropLandArea "%2 is %n a permanent crop land area of %1")	domainEnglishFormat.kif 1953-1953
(format ChineseTraditionalLanguage permanentCropLandArea "%2 %n 是 %1 的 permanent 農作地區")	domainEnglishFormat.kif 1954-1954
(format ChineseLanguage permanentCropLandArea "%2 %n 是 %1 的 permanent 农作地区")	domainEnglishFormat.kif 1955-1955
(termFormat EnglishLanguage permanentCropLandArea "permanent crop land area")	domainEnglishFormat.kif 45239-45239
(termFormat ChineseTraditionalLanguage permanentCropLandArea "永久性農田面積")	domainEnglishFormat.kif 45240-45240
(termFormat ChineseLanguage permanentCropLandArea "永久性农田面积")	domainEnglishFormat.kif 45241-45241

antecedent

(=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (permanentCropLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 3580-3591	If X Y(s) is a permanent crop land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is a permanent crop land area of Z
(=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?PERMCROP) (and (instance ?PERMCROP PermanentCropLand) (geographicSubregion ?PERMCROP ?REGION) (measure ?PERMCROP (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 3593-3607	If X Y(s) is a permanent crop 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 permanent crop land and V is a geographic subregion of Z and the measure of V is X and W Y(s)

consequent

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

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