UniformPerimeterArea |
appearance as argument number 1 |
![]() |
(documentation UniformPerimeterArea EnglishLanguage "A UniformPerimeterArea is one that has a defined uniform width.") | Geography.kif 987-988 | |
(subclass UniformPerimeterArea PerimeterArea) | Geography.kif 985-985 | UniformPerimeterArea は PerimeterArea の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage UniformPerimeterArea "均匀的周边区域") | domainEnglishFormat.kif 59948-59948 | |
(termFormat ChineseTraditionalLanguage UniformPerimeterArea "均勻的周邊區域") | domainEnglishFormat.kif 59947-59947 | |
(termFormat EnglishLanguage UniformPerimeterArea "uniform perimeter area") | domainEnglishFormat.kif 59946-59946 |
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 1002-1015 | |
(=> (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.0)) (not (located ?OBJ ?ZONE))) |
Geography.kif 1028-1037 | |
(=> (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.0)) (located ?OBJ ?ZONE)) |
Geography.kif 1017-1026 | |
(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 990-993 |
|
(=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH)))) |
Geography.kif 995-1000 |
consequent |
![]() |
(=> (instance ?region GeopoliticalArea) (instance (MaritimeClaimsTerritorialSeaFn ?region) UniformPerimeterArea)) |
Geography.kif 956-958 |
|
![]() |
![]() |