UniformPerimeterArea | ![]() |
appearance as argument number 1 |
![]() |
(documentation UniformPerimeterArea EnglishLanguage "A UniformPerimeterArea is one that has a defined uniform width.") | Geography.kif 821-822 | |
(subclass UniformPerimeterArea PerimeterArea) | Geography.kif 819-819 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage UniformPerimeterArea "均匀的周边区域") | domainEnglishFormat.kif 59899-59899 | |
(termFormat ChineseTraditionalLanguage UniformPerimeterArea "均勻的周邊區域") | domainEnglishFormat.kif 59898-59898 | |
(termFormat EnglishLanguage UniformPerimeterArea "uniform perimeter area") | domainEnglishFormat.kif 59897-59897 |
antecedent |
![]() |
(=> (and (instance ?ZONE UniformPerimeterArea) (part ?INNER1 (InnerBoundaryFn ?ZONE)) (part ?OUTER1 (OuterBoundaryFn ?ZONE)) (distance ?INNER1 ?OUTER1 ?WIDTH1) (part ?INNER2 (InnerBoundaryFn ?ZONE)) (part ?OUTER2 (OuterBoundaryFn ?ZONE)) (distance ?INNER2 ?OUTER2 ?WIDTH2)) (equal ?WIDTH1 ?WIDTH2)) |
Geography.kif 836-849 | |
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (greaterThan (SubtractionFn ?FAR ?LIMIT) 0)) (not (located ?OBJ ?ZONE))) |
Geography.kif 862-871 | |
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (lessThanOrEqualTo (SubtractionFn ?FAR ?LIMIT) 0)) (located ?OBJ ?ZONE)) |
Geography.kif 851-860 | |
(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 824-827 | |
(=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH)))) |
Geography.kif 829-834 |
consequent |
![]() |
(=> (instance ?region GeopoliticalArea) (instance (MaritimeClaimsTerritorialSeaFn ?region) UniformPerimeterArea)) |
Geography.kif 790-792 |
![]() |
![]() |