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 687-688 | |
(domain BorderFn 1 GeographicArea) | Geography.kif 683-683 | The number 1 argument of border is an instance of geographic area |
(domain BorderFn 2 GeographicArea) | Geography.kif 684-684 | The number 2 argument of border is an instance of geographic area |
(instance BorderFn BinaryFunction) | Geography.kif 681-681 | Border is an instance of binary function |
(range BorderFn GeographicArea) | Geography.kif 685-685 | The range of border is an instance of geographic area |
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 682-682 | Border has name "border" |
(subrelation ShorelineFn BorderFn) | Geography.kif 6246-6246 | Shoreline is a subrelation of border |
(termFormat ChineseLanguage BorderFn "边界") | domainEnglishFormat.kif 11666-11666 | Shoreline is a subrelation of border |
(termFormat ChineseTraditionalLanguage BorderFn "邊界") | domainEnglishFormat.kif 11665-11665 | Shoreline is a subrelation of border |
(termFormat EnglishLanguage BorderFn "border") | domainEnglishFormat.kif 11664-11664 | Shoreline is a subrelation of border |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |