Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PerimeterAreaFn |
| appearance as argument number 1 |
|
| (instance PerimeterAreaFn UnaryFunction) | Geography.kif 2239-2239 | Perimeter area is an instance of unary function |
| (domain PerimeterAreaFn 1 Region) | Geography.kif 2240-2240 | The number 1 argument of perimeter area is an instance of region |
| (rangeSubclass PerimeterAreaFn PerimeterArea) | Geography.kif 2241-2241 | The values returned by perimeter area are subclasses of perimeter area |
| (documentation PerimeterAreaFn EnglishLanguage "(PerimeterAreaFn ?REGION) denotes a class including any peripheral zones extending outward from the Region ?REGION.") | Geography.kif 2243-2245 | The values returned by perimeter area are subclasses of perimeter area |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage PerimeterAreaFn "the perimeter area of %1") | domainEnglishFormat.kif 1945-1945 | |
| (format ChineseTraditionalLanguage PerimeterAreaFn "%1 的 perimeter 地區") | domainEnglishFormat.kif 1946-1946 | |
| (format ChineseLanguage PerimeterAreaFn "%1 的 perimeter 地区") | domainEnglishFormat.kif 1947-1947 | |
| (termFormat EnglishLanguage PerimeterAreaFn "perimeter area") | domainEnglishFormat.kif 45173-45173 | |
| (termFormat ChineseTraditionalLanguage PerimeterAreaFn "周邊區域") | domainEnglishFormat.kif 45174-45174 | |
| (termFormat ChineseLanguage PerimeterAreaFn "周边区域") | domainEnglishFormat.kif 45175-45175 |
| antecedent |
|
|
| (=> (instance ?zone (PerimeterAreaFn ?region)) (meetsSpatially ?zone ?region)) |
Geography.kif 2247-2249 | If X is an instance of the perimeter area of Y, then X meets Y |
| (=> (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 2310-2319 | If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is less than or equal to 0.0, then X is located at Z |
| (=> (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 2321-2330 | If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is greater than 0.0, then X is not located at Z |
| consequent |
|
|
| (=> (instance ?region GeopoliticalArea) (instance (MaritimeClaimsTerritorialSeaFn ?region) (PerimeterAreaFn ?region))) |
Geography.kif 2258-2260 | If X is an instance of geopolitical area, then the maritime claims territorial sea of X is an instance of the perimeter area of X |
|