Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  permanentCropLandArea

Sigma KEE - permanentCropLandArea
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 2060-2065
s__domain(s__permanentCropLandArea__m,1,s__GeographicArea)

Geography.kif 2057-2057 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 2058-2058 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 2056-2056 permanent crop land area is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__permanentCropLandArea__m,'%2 is %n a permanent crop land area of %1')

domainEnglishFormat.kif 496-496
s__termFormat(s__EnglishLanguage,s__permanentCropLandArea__m,'permanent crop land area')

domainEnglishFormat.kif 7962-7962 "permanent crop land area" is the printable form of permanent crop land area in english language

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 2076-2083
( ∀ [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 2085-2095
( ∀ [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 2067-2074

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 2076-2083
( ∀ [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 2067-2074


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

Show without tree


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