comparativeArea |
appearance as argument number 1 |
(documentation comparativeArea EnglishLanguage "(comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2) means that the total area of GeographicArea ?REGION1 has the relation ?RELATION to the total area of GeographicArea ?REGION2 times ?FACTOR. For example, that France is (slightly) less than twice the size of Colorado is represented by (comparativeArea France lessThan 2.0 Colorado).") | Geography.kif 652-657 | |
(domain comparativeArea 1 GeographicArea) | Geography.kif 646-646 | 域 比較區域, 1 and GeographicArea |
(domain comparativeArea 2 BinaryRelationExtendedToQuantities) | Geography.kif 648-648 | 域 比較區域, 2 and BinaryRelationExtendedToQuantities |
(domain comparativeArea 3 PositiveRealNumber) | Geography.kif 649-649 | 域 比較區域, 3 and PositiveRealNumber |
(domain comparativeArea 4 GeographicArea) | Geography.kif 650-650 | 域 比較區域, 4 and GeographicArea |
(instance comparativeArea QuaternaryPredicate) | Geography.kif 645-645 | 例 比較區域 and QuaternaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage comparativeArea "%1 %n{不是} comparative 地区 %2 对于 %3 跟 %4 在一起") | domainEnglishFormat.kif 500-500 | |
(format ChineseTraditionalLanguage comparativeArea "%1 %n{不是} comparative 地區 %2 對於 %3 跟 %4 在一起") | domainEnglishFormat.kif 499-499 | |
(format EnglishLanguage comparativeArea "%1 %n{doesn't} comparative area %2 for %3 with %4") | domainEnglishFormat.kif 498-498 | |
(termFormat ChineseLanguage comparativeArea "比较区域") | domainEnglishFormat.kif 16140-16140 | |
(termFormat ChineseTraditionalLanguage comparativeArea "比較區域") | domainEnglishFormat.kif 16139-16139 | |
(termFormat EnglishLanguage comparativeArea "comparative area") | domainEnglishFormat.kif 16138-16138 |
antecedent |
(=> (and (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2) (instance ?UNIT UnitOfArea) (measure ?REGION1 (MeasureFn ?NUM1 ?UNIT)) (measure ?REGION2 (MeasureFn ?NUM2 ?UNIT))) (?RELATION (MeasureFn ?NUM1 ?UNIT) (MeasureFn (MultiplicationFn ?FACTOR ?NUM2) ?UNIT))) |
Geography.kif 659-669 |
|
appearance as argument number 0 |
(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates) | Geography.kif 4676-4676 | 南部海洋 comparative 地區 比較多 對於 2.0 跟 美國 在一起 |