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
-------------------------


(documentation totalArea EnglishLanguage "(totalArea ?REGION ?AMOUNT) means that the total area of ?REGION is the AreaMeasure ?AMOUNT.") Mid-level-ontology.kif 31229-31230
(domain totalArea 1 Region) Mid-level-ontology.kif 31226-31226
(domain totalArea 2 AreaMeasure) Mid-level-ontology.kif 31227-31227
(instance totalArea BinaryPredicate) Mid-level-ontology.kif 31225-31225

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


(format ChineseLanguage totalArea "%2 %n 是 %1 的 total 區域") domainEnglishFormat.kif 2475-2475
(format ChineseTraditionalLanguage totalArea "%2 %n 是 %1 的 total 區域") domainEnglishFormat.kif 2474-2474
(format EnglishLanguage totalArea "%2 is %n a total area of %1") domainEnglishFormat.kif 2473-2473
(termFormat ChineseLanguage totalArea "总面积") domainEnglishFormat.kif 58528-58528
(termFormat ChineseTraditionalLanguage totalArea "總面積") domainEnglishFormat.kif 58527-58527
(termFormat EnglishLanguage totalArea "total area") domainEnglishFormat.kif 58526-58526

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 2080-2090
(=>
    (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 2092-2106
(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (instance ?UNIT UnitOfArea)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION
        (MeasureFn ?FRACTION ?UNIT)))		 Geography.kif 2215-2225
(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION
        (MeasureFn ?FRACTION ?UNIT)))		 Geography.kif 2227-2237
(=>
    (and
        (otherLandUseArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 2165-2176
(=>
    (and
        (otherLandUseArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?OTHER)
        (and
            (instance ?OTHER LandArea)
            (not
                (instance ?OTHER ArableLand))
            (not
                (instance ?OTHER PermanentCropLand))
            (geographicSubregion ?OTHER ?REGION)
            (measure ?OTHER
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))		 Geography.kif 2178-2196
(=>
    (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 2125-2136
(=>
    (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 2138-2152

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


(=>
    (and
        (instance ?UNIT UnitOfArea)
        (landAreaOnly ?AREA
            (MeasureFn ?LAND ?UNIT))
        (waterAreaOnly ?AREA
            (MeasureFn ?WATER ?UNIT)))
    (totalArea ?AREA
        (MeasureFn
            (AdditionFn ?LAND ?WATER) ?UNIT)))		 Geography.kif 555-560
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (totalArea ?O ?Q))		 Mid-level-ontology.kif 31240-31245
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))		 Mid-level-ontology.kif 31247-31252
(=>
    (landAreaOnly ?AREA ?MEASURE)
    (exists (?LAND)
        (and
            (instance ?LAND SurfaceGroundArea)
            (part ?LAND ?AREA)
            (totalArea ?LAND ?MEASURE))))		 Geography.kif 579-585
(=>
    (waterAreaOnly ?AREA ?MEASURE)
    (exists (?WATER)
        (and
            (instance ?WATER WaterOnlyArea)
            (part ?WATER ?AREA)
            (totalArea ?WATER ?MEASURE))))		 Geography.kif 603-609