| appearance as argument number 1 |
|
| (documentation BorderFn EnglishLanguage "(BorderFn ?AREA1 ?AREA2) denotes the border area where the GeographicAreas ?AREA1 and ?AREA2 meet.") | Geography.kif 684-685 | |
| (domain BorderFn 1 GeographicArea) | Geography.kif 680-680 | BorderFn の数値 1 引数は 地理的地域 の instance では %n |
| (domain BorderFn 2 GeographicArea) | Geography.kif 681-681 | BorderFn の数値 2 引数は 地理的地域 の instance では %n |
| (instance BorderFn BinaryFunction) | Geography.kif 678-678 | BorderFn は 2変数関数 の instance では %n |
| (range BorderFn GeographicArea) | Geography.kif 682-682 | BorderFn の range は 地理的地域 のインスタンス では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage BorderFn "%1 和 %2 的 border ") | domainEnglishFormat.kif 324-324 | |
| (format ChineseTraditionalLanguage BorderFn "%1 和 %2 的 border ") | domainEnglishFormat.kif 323-323 | |
| (format EnglishLanguage BorderFn "the border of %1 and %2") | domainEnglishFormat.kif 322-322 | |
| (names "border" BorderFn) | Geography.kif 679-679 | BorderFn は "border" の name を 持って %n{ない} |
| (subrelation ShorelineFn BorderFn) | Geography.kif 5757-5757 | ShorelineFn は BorderFn の subrelation では %n |
| (termFormat ChineseLanguage BorderFn "边界") | domainEnglishFormat.kif 11593-11593 | termFormat ChineseLanguage, BorderFn and "边界" |
| (termFormat ChineseTraditionalLanguage BorderFn "邊界") | domainEnglishFormat.kif 11592-11592 | termFormat ChineseTraditionalLanguage, BorderFn and "邊界" |
| (termFormat EnglishLanguage BorderFn "border") | domainEnglishFormat.kif 11591-11591 | termFormat EnglishLanguage, BorderFn and "border" |
| antecedent |
|
|
| (=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 697-702 | |
| (=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (meetsSpatially ?AREA1 ?AREA2)) |
Geography.kif 687-689 | |
| (=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (orientation ?AREA1 ?AREA2 Adjacent)) |
Geography.kif 704-706 |
| consequent |
|
|
| (=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 697-702 | |
| (=> (and (instance ?OBJ1 GeographicArea) (instance ?OBJ2 GeographicArea)) (equal (BorderFn ?OBJ1 ?OBJ2) (BorderFn ?OBJ2 ?OBJ1))) |
Geography.kif 691-695 | |
| (=> (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 734-742 | |
| (=> (sharedBorderLength ?N1 ?N2 ?M) (length (BorderFn ?N1 ?N2) ?M)) |
Geography.kif 750-752 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners