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 692-693 | |
(domain BorderFn 1 GeographicArea) | Geography.kif 688-688 | Die Zahl 1 Argument von BorderFn ist ein fall von GeographicArea %n{nicht} |
(domain BorderFn 2 GeographicArea) | Geography.kif 689-689 | Die Zahl 2 Argument von BorderFn ist ein fall von GeographicArea %n{nicht} |
(instance BorderFn BinaryFunction) | Geography.kif 686-686 | BorderFn ist ein fall von BinaryFunction %n{nicht} |
(range BorderFn GeographicArea) | Geography.kif 690-690 | bildbereich von BorderFn ist ein fall von GeographicArea {nicht} |
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 687-687 | names "border" and BorderFn |
(subrelation ShorelineFn BorderFn) | Geography.kif 6176-6176 | ShorelineFn ist eine teilrelation von BorderFn |
(termFormat ChineseLanguage BorderFn "边界") | domainEnglishFormat.kif 11651-11651 | |
(termFormat ChineseTraditionalLanguage BorderFn "邊界") | domainEnglishFormat.kif 11650-11650 | |
(termFormat EnglishLanguage BorderFn "border") | domainEnglishFormat.kif 11649-11649 |
antecedent |
consequent |