(=>
(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 832-845 |
|
(=>
(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 858-867 |
|
(=>
(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 847-856 |
|
(=>
(instance ?AREA UniformPerimeterArea)
(exists (?WIDTH)
(distance
(InnerBoundaryFn ?AREA)
(OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 820-823 |
|
(=>
(instance ?ZONE UniformPerimeterArea)
(exists (?WIDTH)
(and
(instance ?WIDTH LengthMeasure)
(width ?ZONE ?WIDTH)))) |
Geography.kif 825-830 |
|