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 33142-33143 | |
(domain totalArea 1 Region) | Mid-level-ontology.kif 33139-33139 | The number 1 argument of total area is an instance of region |
(domain totalArea 2 AreaMeasure) | Mid-level-ontology.kif 33140-33140 | The number 2 argument of total area is an instance of area measure |
(instance totalArea BinaryPredicate) | Mid-level-ontology.kif 33138-33138 | 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 5049-5049 | 2500000 Square kilometer(s) is a total area of mediterranean sea |
(totalArea SaharaDesert (MeasureFn 3600000 SquareKilometer)) |
Geography.kif 6949-6949 | 3600000 Square kilometer(s) is a total area of Sahara Desert |
(totalArea Sahel (MeasureFn 3053200 SquareKilometer)) |
Geography.kif 6966-6966 | 3053200 Square kilometer(s) is a total area of Sahel |
(totalArea SouthernOcean (MeasureFn 20327000.0 SquareKilometer)) |
Geography.kif 4899-4900 | 20327000.0 Square kilometer(s) is a total area of southern ocean |
![]() |
![]() |