Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BorderFn
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 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 BorderFn2変数関数instance では %n
(range BorderFn GeographicArea) Geography.kif 682-682 BorderFnrange地理的地域 のインスタンス では %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 ShorelineFnBorderFnsubrelation では %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