sharedBorderLength - Sigma Knowledge base Browser

appearance as argument number 1

(documentation sharedBorderLength EnglishLanguage "The length of the boundary between two GeographicRegions.")	Geography.kif 2223-2224
(instance sharedBorderLength TernaryPredicate)	Geography.kif 2225-2225	shared border length is an instance of ternary predicate
(domain sharedBorderLength 1 GeographicArea)	Geography.kif 2226-2226	The number 1 argument of shared border length is an instance of geographic area
(domain sharedBorderLength 2 GeographicArea)	Geography.kif 2227-2227	The number 2 argument of shared border length is an instance of geographic area
(domain sharedBorderLength 3 LengthMeasure)	Geography.kif 2228-2228	The number 3 argument of shared border length is an instance of length measure

appearance as argument number 2

(format EnglishLanguage sharedBorderLength "the boundary between %1 and %2 is %3 long")	domainEnglishFormat.kif 4512-4512
(format ChineseTraditionalLanguage sharedBorderLength "boundary 在 %1 和 %2 之間是 %3 長")	domainEnglishFormat.kif 4513-4513
(format ChineseLanguage sharedBorderLength "boundary 在 %1 和 %2 之间是 %3 长")	domainEnglishFormat.kif 4514-4514
(termFormat EnglishLanguage sharedBorderLength "shared border length")	domainEnglishFormat.kif 65968-65968

antecedent

(=>
    (sharedBorderLength ?N1 ?N2 ?M)
    (length
        (BorderFn ?N1 ?N2) ?M))

If the boundary between X and Y is Z long, then the length of the border of X and Y is Z