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

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 ShorelineFnBorderFnsubrelation では
(termFormat ChineseLanguage BorderFn "边界") domainEnglishFormat.kif 11660-11660 ShorelineFnBorderFnsubrelation では
(termFormat ChineseTraditionalLanguage BorderFn "邊界") domainEnglishFormat.kif 11659-11659 ShorelineFnBorderFnsubrelation では
(termFormat EnglishLanguage BorderFn "border") domainEnglishFormat.kif 11658-11658 ShorelineFnBorderFnsubrelation では

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


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 3.0 is open source software produced by Articulate Software and its partners