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 | Le nombre 1 argument de BorderFn est une instance de secteur g�ographique |
(domain BorderFn 2 GeographicArea) | Geography.kif 689-689 | Le nombre 2 argument de BorderFn est une instance de secteur g�ographique |
(instance BorderFn BinaryFunction) | Geography.kif 686-686 | BorderFn est une instance de fonction binaire |
(range BorderFn GeographicArea) | Geography.kif 690-690 | Le domaine de BorderFn est une instance de secteur g�ographique |
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 | BorderFn s'appele nom "border" |
(subrelation ShorelineFn BorderFn) | Geography.kif 6176-6176 | ShorelineFn est une sous-relation de BorderFn |
(termFormat ChineseLanguage BorderFn "边界") | domainEnglishFormat.kif 11651-11651 | |
(termFormat ChineseTraditionalLanguage BorderFn "邊界") | domainEnglishFormat.kif 11650-11650 | |
(termFormat EnglishLanguage BorderFn "border") | domainEnglishFormat.kif 11649-11649 |
antecedent |
(=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 705-710 |
|
(=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (meetsSpatially ?AREA1 ?AREA2)) |
Geography.kif 695-697 | |
(=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (orientation ?AREA1 ?AREA2 Adjacent)) |
Geography.kif 712-714 |
consequent |