| 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 33144-33145 | |
| (domain totalArea 1 Region) | Mid-level-ontology.kif 33141-33141 | |
| (domain totalArea 2 AreaMeasure) | Mid-level-ontology.kif 33142-33142 | |
| (instance totalArea BinaryPredicate) | Mid-level-ontology.kif 33140-33140 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage totalArea "%2 %n 是 %1 的 total 區域") | domainEnglishFormat.kif 2479-2479 | |
| (format ChineseTraditionalLanguage totalArea "%2 %n 是 %1 的 total 區域") | domainEnglishFormat.kif 2478-2478 | |
| (format EnglishLanguage totalArea "%2 is %n a total area of %1") | domainEnglishFormat.kif 2477-2477 | |
| (termFormat ChineseLanguage totalArea "总面积") | domainEnglishFormat.kif 58534-58534 | |
| (termFormat ChineseTraditionalLanguage totalArea "總面積") | domainEnglishFormat.kif 58533-58533 | |
| (termFormat EnglishLanguage totalArea "total area") | domainEnglishFormat.kif 58532-58532 |
| 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 2068-2078 | |
| (=> (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 2080-2094 | |
| (=> (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 2203-2213 | |
| (=> (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 2215-2225 | |
| (=> (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 2153-2164 | |
| (=> (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 2166-2184 | |
| (=> (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 2113-2124 | |
| (=> (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 2126-2140 |
| 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 33155-33160 | |
| (=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 33162-33167 | |
| (=> (equal (MeasureFn (PerFn (MeasureFn ?F KilogramForce) (MeasureFn ?A SquareMillimeter)) VickersPyramidNumber) (VickersHardnessFn ?CLASS)) (modalAttribute (exists (?SUB ?P ?D ?H ?S) (and (instance ?SUB ?CLASS) (instance ?P Pushing) (destination ?P ?SUB) (instance ?D Diamond) (shape ?D SquarePyramid) (patient ?P ?D) (result ?P ?H) (instance ?H HoleRegion) (part ?H ?SUB) (surface ?S ?H) (totalArea ?S (MeasureFn ?A SquareMillimeter)) (measure ?P (MeasureFn ?F KilogramForce)))) Likely)) |
Mid-level-ontology.kif 10473-10494 | |
| (=> (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 |
| appearance as argument number 0 |
|
|
| (totalArea MediterraneanSea (MeasureFn 2500000 SquareKilometer)) |
Geography.kif 4879-4879 | |
| (totalArea SaharaDesert (MeasureFn 3600000 SquareKilometer)) |
Geography.kif 6779-6779 | |
| (totalArea Sahel (MeasureFn 3053200 SquareKilometer)) |
Geography.kif 6796-6796 | |
| (totalArea SouthernOcean (MeasureFn 20327000.0 SquareKilometer)) |
Geography.kif 4729-4730 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners