| appearance as argument number 1 |
|
| (documentation sharedBorderLength EnglishLanguage "The length of the boundary between two GeographicRegions.") | Geography.kif 751-752 | |
| (domain sharedBorderLength 1 GeographicArea) | Geography.kif 754-754 | domain sharedBorderLength, 1 and GeographicArea |
| (domain sharedBorderLength 2 GeographicArea) | Geography.kif 755-755 | domain sharedBorderLength, 2 and GeographicArea |
| (domain sharedBorderLength 3 LengthMeasure) | Geography.kif 756-756 | domain sharedBorderLength, 3 and LengthMeasure |
| (instance sharedBorderLength TernaryPredicate) | Geography.kif 753-753 | instance sharedBorderLength and TernaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage sharedBorderLength "boundary 在 %1 和 %2 之间 是 %3 长") | domainEnglishFormat.kif 4515-4515 | |
| (format ChineseTraditionalLanguage sharedBorderLength "boundary 在 %1 和 %2 之間 是 %3 長") | domainEnglishFormat.kif 4514-4514 | |
| (format EnglishLanguage sharedBorderLength "the boundary between %1 and %2 is %3 long") | domainEnglishFormat.kif 4513-4513 |
| antecedent |
|
|
| (=> (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners