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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - totalArea
totalArea

appearance as argument number 1
-------------------------


s__documentation(s__totalArea__m,s__EnglishLanguage,'"(totalArea ?REGION ?AMOUNT) means that the total area of ?REGION is the AreaMeasure ?AMOUNT."')

Geography.kif 541-542
s__domain(s__totalArea__m,n__1,s__Region)

Geography.kif 538-538 The number 1 argument of total area is an instance of region
s__domain(s__totalArea__m,n__2,s__AreaMeasure)

Geography.kif 539-539 The number 2 argument of total area is an instance of area measure
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__totalArea__m,s__BinaryPredicate)

Geography.kif 537-537 total area is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__totalArea__m,'"%2 %n 是 %1 的 total 區域"')

domainEnglishFormat.kif 2475-2475
s__format(s__ChineseTraditionalLanguage,s__totalArea__m,'"%2 %n 是 %1 的 total 區域"')

domainEnglishFormat.kif 2474-2474
s__format(s__EnglishLanguage,s__totalArea__m,'"%2 is %n a total area of %1"')

domainEnglishFormat.kif 2473-2473
s__termFormat(s__ChineseLanguage,s__totalArea__m,'"总面积"')

domainEnglishFormat.kif 58493-58493
s__termFormat(s__ChineseTraditionalLanguage,s__totalArea__m,'"總面積"')

domainEnglishFormat.kif 58492-58492
s__termFormat(s__EnglishLanguage,s__totalArea__m,'"total area"')

domainEnglishFormat.kif 58491-58491

antecedent
-------------------------


( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__ConstantQuantity) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__arableLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea) &
     (V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
    ,V__UNIT)))
=>
(s__arableLandArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 2061-2068
( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__arableLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea))
   =>
   (( ? [V__ARABLE] :
       ((s__instance(V__ARABLE,s__ArableLand) &
           s__geographicSubregion(V__ARABLE,V__REGION)
         &
         s__measure(V__ARABLE,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
      ,V__UNIT)))))))))
)
)

Geography.kif 2070-2080
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__Number) &
         s__instance(V__AMOUNT,s__ConstantQuantity) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__arableLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,V__TOTAL)
       &
       s__instance(V__TOTAL,s__AreaMeasure) &
       (V__AMOUNT = s__MultiplicationFn(V__FRACTION,V__TOTAL)))
   =>
   (s__arableLandArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 2052-2059
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__RealNumber) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__irrigatedLandArea(V__REGION,s__MeasureFn(V__AMOUNT,V__UNIT))
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea) &
     (V__FRACTION = s__DivisionFn(V__AMOUNT,V__TOTAL)))
=>
(s__irrigatedLandArea(V__REGION,V__FRACTION)))))
)
)

Geography.kif 2201-2207
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__irrigatedLandArea(V__REGION,V__AMOUNT)
           &
           s__instance(V__AMOUNT,s__AreaMeasure) &
           s__totalArea(V__REGION,V__TOTAL)
         &
         s__instance(V__TOTAL,s__AreaMeasure) &
         (V__FRACTION = s__DivisionFn(V__AMOUNT,V__TOTAL)))
     =>
     (s__irrigatedLandArea(V__REGION,V__FRACTION)))))
)
)

Geography.kif 2192-2199
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__ConstantQuantity) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__otherLandUseArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea) &
     (V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
    ,V__UNIT)))
=>
(s__otherLandUseArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 2151-2158
( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__otherLandUseArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea))
   =>
   (( ? [V__OTHER] :
       ((s__instance(V__OTHER,s__LandArea) &
           ~(s__instance(V__OTHER,s__ArableLand))
           &
           ~(s__instance(V__OTHER,s__PermanentCropLand))
           &
           s__geographicSubregion(V__OTHER,V__REGION)
         &
         s__measure(V__OTHER,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
      ,V__UNIT)))))))))
)
)

Geography.kif 2160-2172
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__Number) &
         s__instance(V__AMOUNT,s__ConstantQuantity) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__otherLandUseArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,V__TOTAL)
       &
       s__instance(V__TOTAL,s__AreaMeasure) &
       (V__AMOUNT = s__MultiplicationFn(V__FRACTION,V__TOTAL)))
   =>
   (s__otherLandUseArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 2142-2149
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__ConstantQuantity) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__permanentCropLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea) &
     (V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
    ,V__UNIT)))
=>
(s__permanentCropLandArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 2109-2116
( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__permanentCropLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea))
   =>
   (( ? [V__PERMCROP] :
       ((s__instance(V__PERMCROP,s__PermanentCropLand) &
           s__geographicSubregion(V__PERMCROP,V__REGION)
         &
         s__measure(V__PERMCROP,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
      ,V__UNIT)))))))))
)
)

Geography.kif 2118-2128
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__Number) &
         s__instance(V__AMOUNT,s__ConstantQuantity) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__permanentCropLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,V__TOTAL)
       &
       s__instance(V__TOTAL,s__AreaMeasure) &
       (V__AMOUNT = s__MultiplicationFn(V__FRACTION,V__TOTAL)))
   =>
   (s__permanentCropLandArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 2100-2107

consequent
-------------------------


( ! [V__LAND,V__WATER,V__AREA,V__UNIT] :
   (((s__instance(V__LAND,s__RealNumber) &
         s__instance(V__WATER,s__RealNumber) &
         s__instance(V__AREA,s__GeographicArea))
       =>
       (((s__instance(V__UNIT,s__UnitOfArea) &
             s__landAreaOnly(V__AREA,s__MeasureFn(V__LAND,V__UNIT))
         &
         s__waterAreaOnly(V__AREA,s__MeasureFn(V__WATER,V__UNIT)))
   =>
   (s__totalArea(V__AREA,s__MeasureFn(s__AdditionFn(V__LAND,V__WATER)
  ,V__UNIT))))))
)
)

Geography.kif 562-567
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Region) &
         s__instance(V__Q,s__AreaMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__totalArea(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30431-30436
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Region) &
         s__instance(V__Q,s__AreaMeasure))
       =>
       (((s__memberMeasure(V__S,s__Area,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__totalArea(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30438-30443
( ! [V__AREA,V__MEASURE] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__MEASURE,s__AreaMeasure))
       =>
       ((s__landAreaOnly(V__AREA,V__MEASURE)
         =>
         (( ? [V__LAND] :
             ((s__instance(V__LAND,s__SurfaceGroundArea) &
                 s__part(V__LAND,V__AREA)
               &
               s__totalArea(V__LAND,V__MEASURE))))))))
)
)

Geography.kif 586-592
( ! [V__AREA,V__MEASURE] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__MEASURE,s__AreaMeasure))
       =>
       ((s__waterAreaOnly(V__AREA,V__MEASURE)
         =>
         (( ? [V__WATER] :
             ((s__instance(V__WATER,s__WaterOnlyArea) &
                 s__part(V__WATER,V__AREA)
               &
               s__totalArea(V__WATER,V__MEASURE))))))))
)
)

Geography.kif 610-616