BorderFn |
appearance as argument number 1 |
![]() |
(documentation BorderFn EnglishLanguage "(BorderFn ?AREA1 ?AREA2) denotes the border area where the GeographicAreas ?AREA1 and ?AREA2 meet.") | Geography.kif 857-858 | |
(domain BorderFn 1 GeographicArea) | Geography.kif 853-853 | BorderFn の数値 1 引数は 地理的地域 の instance では |
(domain BorderFn 2 GeographicArea) | Geography.kif 854-854 | BorderFn の数値 2 引数は 地理的地域 の instance では |
(instance BorderFn BinaryFunction) | Geography.kif 851-851 | BorderFn は 2変数関数 の instance では |
(range BorderFn GeographicArea) | Geography.kif 855-855 | BorderFn の range は 地理的地域 のインスタンス では |
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 852-852 | BorderFn は "border" の &ames$"name" を 持って |
(subrelation ShorelineFn BorderFn) | Geography.kif 6479-6479 | ShorelineFn は BorderFn の subrelation では |
(termFormat ChineseLanguage BorderFn "边界") | domainEnglishFormat.kif 11660-11660 | ShorelineFn は BorderFn の subrelation では |
(termFormat ChineseTraditionalLanguage BorderFn "邊界") | domainEnglishFormat.kif 11659-11659 | ShorelineFn は BorderFn の subrelation では |
(termFormat EnglishLanguage BorderFn "border") | domainEnglishFormat.kif 11658-11658 | ShorelineFn は BorderFn の subrelation では |
antecedent |
![]() |
(=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 870-875 | |
(=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (meetsSpatially ?AREA1 ?AREA2)) |
Geography.kif 860-862 | |
(=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (orientation ?AREA1 ?AREA2 Adjacent)) |
Geography.kif 877-879 |
consequent |
![]() |
(=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 870-875 | |
(=> (and (instance ?OBJ1 GeographicArea) (instance ?OBJ2 GeographicArea)) (equal (BorderFn ?OBJ1 ?OBJ2) (BorderFn ?OBJ2 ?OBJ1))) |
Geography.kif 864-868 | |
(=> (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 907-915 | |
(=> (sharedBorderLength ?N1 ?N2 ?M) (length (BorderFn ?N1 ?N2) ?M)) |
Geography.kif 923-925 |
![]() |
![]() |