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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BorderFn

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 692-693
(domain BorderFn 1 GeographicArea) Geography.kif 688-688 BorderFn の数値 1 引数は 地理的地域instance では %n
(domain BorderFn 2 GeographicArea) Geography.kif 689-689 BorderFn の数値 2 引数は 地理的地域instance では %n
(instance BorderFn BinaryFunction) Geography.kif 686-686 BorderFn2変数関数instance では %n
(range BorderFn GeographicArea) Geography.kif 690-690 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 687-687 BorderFn は "border" の name を 持って %n{ない}
(subrelation ShorelineFn BorderFn) Geography.kif 6176-6176 ShorelineFnBorderFnsubrelation では %n
(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
-------------------------


(=>
    (and
        (instance
            (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea)
        (instance ?COUNTRY1 Nation)
        (instance ?COUNTRY2 Nation))
    (instance
        (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))
Geography.kif 705-710
(=>
    (and
        (instance ?OBJ1 GeographicArea)
        (instance ?OBJ2 GeographicArea))
    (equal
        (BorderFn ?OBJ1 ?OBJ2)
        (BorderFn ?OBJ2 ?OBJ1)))
Geography.kif 699-703
(=>
    (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 742-750
(=>
    (sharedBorderLength ?N1 ?N2 ?M)
    (length
        (BorderFn ?N1 ?N2) ?M))
Geography.kif 758-760


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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