BorderFn - Sigma Knowledge base Browser

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 699-700
(domain BorderFn 1 GeographicArea)	Geography.kif 695-695	The number 1 argument of border is an instance of geographic area
(domain BorderFn 2 GeographicArea)	Geography.kif 696-696	The number 2 argument of border is an instance of geographic area
(instance BorderFn BinaryFunction)	Geography.kif 693-693	Border is an instance of binary function
(range BorderFn GeographicArea)	Geography.kif 697-697	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 694-694	Border has name "border"
(subrelation ShorelineFn BorderFn)	Geography.kif 6084-6084	Shoreline is a subrelation of border
(termFormat ChineseLanguage BorderFn "边界")	domainEnglishFormat.kif 11649-11649
(termFormat ChineseTraditionalLanguage BorderFn "邊界")	domainEnglishFormat.kif 11648-11648
(termFormat EnglishLanguage BorderFn "border")	domainEnglishFormat.kif 11647-11647

antecedent

(=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))	Geography.kif 712-717	If the border of a geographic area and another geographic area is an instance of geographic area and the geographic area is an instance of nation and the other geographic area is an instance of nation, then the border of the geographic area and the other geographic area is an instance of international border
(=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (meetsSpatially ?AREA1 ?AREA2))	Geography.kif 702-704	If the border of a geographic area and another geographic area is an instance of geographic area, then the geographic area meets the other geographic area
(=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (orientation ?AREA1 ?AREA2 Adjacent))	Geography.kif 719-721	If the border of a geographic area and another geographic area is an instance of geographic area, then the geographic area is adjacent to the other geographic area

consequent

(=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))	Geography.kif 712-717	If the border of a geographic area and another geographic area is an instance of geographic area and the geographic area is an instance of nation and the other geographic area is an instance of nation, then the border of the geographic area and the other geographic area is an instance of international border
(=> (and (instance ?OBJ1 GeographicArea) (instance ?OBJ2 GeographicArea)) (equal (BorderFn ?OBJ1 ?OBJ2) (BorderFn ?OBJ2 ?OBJ1)))	Geography.kif 706-710	If a geographic area is an instance of geographic area and another geographic area is an instance of geographic area, then the border of the geographic area and the other geographic area is equal to the border of the other geographic area and the geographic area
(=> (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 749-757	If an object is an instance of checkpoint, then there exists another object such that the other object is an instance of road and the other object is near to the object or there exist a geographic area and another geographic area such that the border of the geographic area and the other geographic area is near to the object
(=> (sharedBorderLength ?N1 ?N2 ?M) (length (BorderFn ?N1 ?N2) ?M))	Geography.kif 765-767	If the boundary between a geographic area and another geographic area is a length measure long, then the length of the border of the geographic area and the other geographic area is the length measure

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