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 31193-31194 | |
(domain totalArea 1 Region) | Mid-level-ontology.kif 31190-31190 | Le nombre 1 argument de totalArea est une instance de r�gion |
(domain totalArea 2 AreaMeasure) | Mid-level-ontology.kif 31191-31191 | Le nombre 2 argument de totalArea est une instance de mesure d'aire |
(instance totalArea BinaryPredicate) | Mid-level-ontology.kif 31189-31189 | totalArea est une instance de pr�dicat binaire |
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 | totalArea SouthernOcean and 20327000.0 SquareKilometer(s) |
![]() |
![]() |