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 31197-31198 | |
(domain totalArea 1 Region) | Mid-level-ontology.kif 31194-31194 | 域 總面積, 1 and Region |
(domain totalArea 2 AreaMeasure) | Mid-level-ontology.kif 31195-31195 | 域 總面積, 2 and AreaMeasure |
(instance totalArea BinaryPredicate) | Mid-level-ontology.kif 31193-31193 | 例 總面積 and BinaryPredicate |
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 58526-58526 | |
(termFormat ChineseTraditionalLanguage totalArea "總面積") | domainEnglishFormat.kif 58525-58525 | |
(termFormat EnglishLanguage totalArea "total area") | domainEnglishFormat.kif 58524-58524 |
antecedent |
consequent |
appearance as argument number 0 |
(totalArea SouthernOcean (MeasureFn 20327000.0 SquareKilometer)) |
Geography.kif 4659-4660 | 測量 20327000.0 and 平方千米 是 南部海洋 的 total 區域 |