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 818-823 | |
(domain comparativeArea 1 GeographicArea) | Geography.kif 812-812 | The number 1 argument of comparative area is an instance of geographic area |
(domain comparativeArea 2 BinaryRelationExtendedToQuantities) | Geography.kif 814-814 | The number 2 argument of comparative area is an instance of binary relation extended to quantities |
(domain comparativeArea 3 PositiveRealNumber) | Geography.kif 815-815 | The number 3 argument of comparative area is an instance of positive real number |
(domain comparativeArea 4 GeographicArea) | Geography.kif 816-816 | The number 4 argument of comparative area is an instance of geographic area |
(instance comparativeArea QuaternaryPredicate) | Geography.kif 811-811 | comparative area is an instance of quaternary predicate |
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 16149-16149 | |
(termFormat ChineseTraditionalLanguage comparativeArea "比較區域") | domainEnglishFormat.kif 16148-16148 | |
(termFormat EnglishLanguage comparativeArea "comparative area") | domainEnglishFormat.kif 16147-16147 |
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 825-835 |
|
appearance as argument number 0 |
![]() |
(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates) | Geography.kif 4916-4916 | Southern ocean comparative area greater than for 2.0 with united states |
![]() |
![]() |