Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BorderFn |
| appearance as argument number 1 |
|
| (instance BorderFn BinaryFunction) | Geography.kif 2157-2157 | Border is an instance of binary function |
| (domain BorderFn 1 GeographicArea) | Geography.kif 2159-2159 | The number 1 argument of border is an instance of geographic area |
| (domain BorderFn 2 GeographicArea) | Geography.kif 2160-2160 | The number 2 argument of border is an instance of geographic area |
| (range BorderFn GeographicArea) | Geography.kif 2161-2161 | The range of border is an instance of geographic area |
| (documentation BorderFn EnglishLanguage "(BorderFn ?AREA1 ?AREA2) denotes the border area where the GeographicAreas ?AREA1 and ?AREA2 meet.") | Geography.kif 2163-2164 | The range of border is an instance of geographic area |
| appearance as argument number 2 |
|
|
| (names "border" BorderFn) | Geography.kif 2158-2158 | Border has name "border" |
| (subrelation ShorelineFn BorderFn) | Geography.kif 7776-7776 | Shoreline is a subrelation of border |
| (format EnglishLanguage BorderFn "the border of %1 and %2") | domainEnglishFormat.kif 322-322 | Shoreline is a subrelation of border |
| (format ChineseTraditionalLanguage BorderFn "%1 和 %2 的 border ") | domainEnglishFormat.kif 323-323 | Shoreline is a subrelation of border |
| (format ChineseLanguage BorderFn "%1 和 %2 的 border ") | domainEnglishFormat.kif 324-324 | Shoreline is a subrelation of border |
| (termFormat EnglishLanguage BorderFn "border") | domainEnglishFormat.kif 11657-11657 | Shoreline is a subrelation of border |
| (termFormat ChineseTraditionalLanguage BorderFn "邊界") | domainEnglishFormat.kif 11658-11658 | Shoreline is a subrelation of border |
| (termFormat ChineseLanguage BorderFn "边界") | domainEnglishFormat.kif 11659-11659 | Shoreline is a subrelation of border |
| antecedent |
|
|
| (=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (meetsSpatially ?AREA1 ?AREA2)) |
Geography.kif 2166-2168 | If the border of X and Y is an instance of geographic area, then X meets Y |
| (=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 2176-2181 | If the border of X and Y is an instance of geographic area, X is an instance of nation, and Y is an instance of nation, then the border of X and Y is an instance of international border |
| (=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (orientation ?AREA1 ?AREA2 Adjacent)) |
Geography.kif 2183-2185 | If the border of X and Y is an instance of geographic area, then X is adjacent to Y |
| consequent |
|
|
| (=> (and (instance ?OBJ1 GeographicArea) (instance ?OBJ2 GeographicArea)) (equal (BorderFn ?OBJ1 ?OBJ2) (BorderFn ?OBJ2 ?OBJ1))) |
Geography.kif 2170-2174 | If X is an instance of geographic area and Y is an instance of geographic area, then equal the border of X, Y, the border of Y, and X |
| (=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 2176-2181 | If the border of X and Y is an instance of geographic area, X is an instance of nation, and Y is an instance of nation, then the border of X and Y is an instance of international border |
| (=> (instance ?X Checkpoint) (or (exists (?ROAD) (and (instance ?ROAD Road) (orientation ?ROAD ?X Near))) (exists (?REG1 ?REG2) (orientation (BorderFn ?REG1 ?REG2) ?X Near)))) |
Geography.kif 2213-2221 | If X is an instance of checkpoint, then there exists Y such that Y is an instance of road and Y is near to X or there exist Z, W such that the border of Z, and W is near to X |
| (=> (sharedBorderLength ?N1 ?N2 ?M) (length (BorderFn ?N1 ?N2) ?M)) |
Geography.kif 2229-2231 | If the boundary between X and Y is Z long, then the length of the border of X and Y is Z |
|