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 687-688
(domain BorderFn 1 GeographicArea) Geography.kif 683-683 The number 1 argument of border is an instance of geographic area
(domain BorderFn 2 GeographicArea) Geography.kif 684-684 The number 2 argument of border is an instance of geographic area
(instance BorderFn BinaryFunction) Geography.kif 681-681 Border is an instance of binary function
(range BorderFn GeographicArea) Geography.kif 685-685 The range of border is an instance of geographic area

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 682-682 Border has name "border"
(subrelation ShorelineFn BorderFn) Geography.kif 6245-6245 Shoreline is a subrelation of border
(termFormat ChineseLanguage BorderFn "边界") domainEnglishFormat.kif 11666-11666 Shoreline is a subrelation of border
(termFormat ChineseTraditionalLanguage BorderFn "邊界") domainEnglishFormat.kif 11665-11665 Shoreline is a subrelation of border
(termFormat EnglishLanguage BorderFn "border") domainEnglishFormat.kif 11664-11664 Shoreline is a subrelation of border

antecedent
-------------------------


(=>
    (and
        (instance
            (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea)
        (instance ?COUNTRY1 Nation)
        (instance ?COUNTRY2 Nation))
    (instance
        (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))		 Geography.kif 700-705
(=>
    (instance
        (BorderFn ?AREA1 ?AREA2) GeographicArea)
    (meetsSpatially ?AREA1 ?AREA2))		 Geography.kif 690-692
(=>
    (instance
        (BorderFn ?AREA1 ?AREA2) GeographicArea)
    (orientation ?AREA1 ?AREA2 Adjacent))		 Geography.kif 707-709

consequent
-------------------------


(=>
    (and
        (instance
            (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea)
        (instance ?COUNTRY1 Nation)
        (instance ?COUNTRY2 Nation))
    (instance
        (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))		 Geography.kif 700-705
(=>
    (and
        (instance ?OBJ1 GeographicArea)
        (instance ?OBJ2 GeographicArea))
    (equal
        (BorderFn ?OBJ1 ?OBJ2)
        (BorderFn ?OBJ2 ?OBJ1)))		 Geography.kif 694-698
(=>
    (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 737-745
(=>
    (sharedBorderLength ?N1 ?N2 ?M)
    (length
        (BorderFn ?N1 ?N2) ?M))		 Geography.kif 753-755


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