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 33144-33145 | |
(domain totalArea 1 Region) | Mid-level-ontology.kif 33141-33141 | The number 1 argument of total area is an instance of region |
(domain totalArea 2 AreaMeasure) | Mid-level-ontology.kif 33142-33142 | The number 2 argument of total area is an instance of area measure |
(instance totalArea BinaryPredicate) | Mid-level-ontology.kif 33140-33140 | total area is an instance of binary predicate |
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 |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(totalArea MediterraneanSea (MeasureFn 2500000 SquareKilometer)) |
Geography.kif 4879-4879 | 2500000 Square kilometer(s) is a total area of mediterranean sea |
(totalArea SaharaDesert (MeasureFn 3600000 SquareKilometer)) |
Geography.kif 6779-6779 | 3600000 Square kilometer(s) is a total area of Sahara Desert |
(totalArea Sahel (MeasureFn 3053200 SquareKilometer)) |
Geography.kif 6796-6796 | 3053200 Square kilometer(s) is a total area of Sahel |
(totalArea SouthernOcean (MeasureFn 20327000.0 SquareKilometer)) |
Geography.kif 4729-4730 | 20327000.0 Square kilometer(s) is a total area of southern ocean |
![]() |
![]() |