permanentCropLandArea


Sigma KEE  permanentCropLandArea
appearance as argument number 1


s__documentation(s__permanentCropLandArea__m,s__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. Timberland is excluded. ?AMOUNT may be expressed in physical units or with a percent or fraction. Cf. permanentCropLandArea.')

Geography.kif 20602065 

s__domain(s__permanentCropLandArea__m,1,s__GeographicArea)

Geography.kif 20572057 
The number 1 argument of permanent crop land area is an instance of geographic area 
s__domain(s__permanentCropLandArea__m,2,s__ConstantQuantity)

Geography.kif 20582058 
The number 2 argument of permanent crop land area is an instance of constant quantity 
s__instance(s__BinaryPredicate,s__SetOrClass)
s__instance(s__permanentCropLandArea__m,s__BinaryPredicate)

Geography.kif 20562056 
permanent crop land area is an instance of binary predicate 
appearance as argument number 2


antecedent


( ∀ [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT]
((s__instance(V__REGION,s__GeographicArea)s__and__ms__instance(V__AMOUNT,s__ConstantQuantity)s__and__ms__instance(V__TOTAL,s__RealNumber)s__and__ms__instance(V__FRACTION,s__ConstantQuantity))
s__=>((s__permanentCropLandArea(V__REGION,V__FRACTION)
s__and__ms__greaterThanOrEqualTo(V__FRACTION,0)
s__and__ms__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
s__and__ms__instance(V__UNIT,s__UnitOfArea)s__and__m(V__AMOUNTs__equal__ms__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))
s__=>s__permanentCropLandArea(V__REGION,V__AMOUNT)))
)

Geography.kif 20762083 

( ∀ [V__REGION,V__TOTAL,V__FRACTION,V__UNIT]
((s__instance(V__REGION,s__GeographicArea)s__and__ms__instance(V__TOTAL,s__RealNumber)s__and__ms__instance(V__FRACTION,s__ConstantQuantity))
s__=>((s__permanentCropLandArea(V__REGION,V__FRACTION)
s__and__ms__greaterThanOrEqualTo(V__FRACTION,0)
s__and__ms__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
s__and__ms__instance(V__UNIT,s__UnitOfArea))
s__=>(s__exists__m[V__PERMCROP]
(s__instance(V__PERMCROP,s__PermanentCropLand)s__and__ms__geographicSubregion(V__PERMCROP,V__REGION)
s__and__ms__measure(V__PERMCROP,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT))))))
)

Geography.kif 20852095 

( ∀ [V__REGION,V__AMOUNT,V__FRACTION,V__TOTAL]
((s__instance(V__REGION,s__GeographicArea)s__and__ms__instance(V__AMOUNT,s__ConstantQuantity)s__and__ms__instance(V__FRACTION,s__ConstantQuantity))
s__=>((s__permanentCropLandArea(V__REGION,V__FRACTION)
s__and__ms__greaterThanOrEqualTo(V__FRACTION,0)
s__and__ms__totalArea(V__REGION,V__TOTAL)
s__and__ms__instance(V__TOTAL,s__AreaMeasure)s__and__m(V__AMOUNTs__equal__ms__MultiplicationFn(V__FRACTION,V__TOTAL)))
s__=>s__permanentCropLandArea(V__REGION,V__AMOUNT)))
)

Geography.kif 20672074 

consequent


( ∀ [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT]
((s__instance(V__REGION,s__GeographicArea)s__and__ms__instance(V__AMOUNT,s__ConstantQuantity)s__and__ms__instance(V__TOTAL,s__RealNumber)s__and__ms__instance(V__FRACTION,s__ConstantQuantity))
s__=>((s__permanentCropLandArea(V__REGION,V__FRACTION)
s__and__ms__greaterThanOrEqualTo(V__FRACTION,0)
s__and__ms__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
s__and__ms__instance(V__UNIT,s__UnitOfArea)s__and__m(V__AMOUNTs__equal__ms__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))
s__=>s__permanentCropLandArea(V__REGION,V__AMOUNT)))
)

Geography.kif 20762083 

( ∀ [V__REGION,V__AMOUNT,V__FRACTION,V__TOTAL]
((s__instance(V__REGION,s__GeographicArea)s__and__ms__instance(V__AMOUNT,s__ConstantQuantity)s__and__ms__instance(V__FRACTION,s__ConstantQuantity))
s__=>((s__permanentCropLandArea(V__REGION,V__FRACTION)
s__and__ms__greaterThanOrEqualTo(V__FRACTION,0)
s__and__ms__totalArea(V__REGION,V__TOTAL)
s__and__ms__instance(V__TOTAL,s__AreaMeasure)s__and__m(V__AMOUNTs__equal__ms__MultiplicationFn(V__FRACTION,V__TOTAL)))
s__=>s__permanentCropLandArea(V__REGION,V__AMOUNT)))
)

Geography.kif 20672074 


Show simplified definition (without tree view)
Show simplified definition (with tree view)
