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 691-692
(domain BorderFn 1 GeographicArea) Geography.kif 687-687
(domain BorderFn 2 GeographicArea) Geography.kif 688-688
(instance BorderFn BinaryFunction) Geography.kif 685-685
(range BorderFn GeographicArea) Geography.kif 689-689

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 686-686
(subrelation ShorelineFn BorderFn) Geography.kif 5958-5958
(termFormat ChineseLanguage BorderFn "边界") domainEnglishFormat.kif 11654-11654
(termFormat ChineseTraditionalLanguage BorderFn "邊界") domainEnglishFormat.kif 11653-11653
(termFormat EnglishLanguage BorderFn "border") domainEnglishFormat.kif 11652-11652

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


(=>
    (and
        (instance
            (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea)
        (instance ?COUNTRY1 Nation)
        (instance ?COUNTRY2 Nation))
    (instance
        (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))
Geography.kif 704-709
(=>
    (instance
        (BorderFn ?AREA1 ?AREA2) GeographicArea)
    (meetsSpatially ?AREA1 ?AREA2))
Geography.kif 694-696
(=>
    (instance
        (BorderFn ?AREA1 ?AREA2) GeographicArea)
    (orientation ?AREA1 ?AREA2 Adjacent))
Geography.kif 711-713

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


(=>
    (and
        (instance
            (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea)
        (instance ?COUNTRY1 Nation)
        (instance ?COUNTRY2 Nation))
    (instance
        (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))
Geography.kif 704-709
(=>
    (and
        (instance ?OBJ1 GeographicArea)
        (instance ?OBJ2 GeographicArea))
    (equal
        (BorderFn ?OBJ1 ?OBJ2)
        (BorderFn ?OBJ2 ?OBJ1)))
Geography.kif 698-702
(=>
    (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 741-749
(=>
    (sharedBorderLength ?N1 ?N2 ?M)
    (length
        (BorderFn ?N1 ?N2) ?M))
Geography.kif 757-759


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