| appearance as argument number 1 |
|
| (documentation sharedBorderLength EnglishLanguage "The length of the boundary between two GeographicRegions.") | Geography.kif 752-753 | |
| (domain sharedBorderLength 1 GeographicArea) | Geography.kif 755-755 | The number 1 argument of shared border length is an instance of geographic area |
| (domain sharedBorderLength 2 GeographicArea) | Geography.kif 756-756 | The number 2 argument of shared border length is an instance of geographic area |
| (domain sharedBorderLength 3 LengthMeasure) | Geography.kif 757-757 | The number 3 argument of shared border length is an instance of length measure |
| (instance sharedBorderLength TernaryPredicate) | Geography.kif 754-754 | shared border length is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage sharedBorderLength "boundary 在 %1 和 %2 之间 是 %3 长") | domainEnglishFormat.kif 4510-4510 | |
| (format ChineseTraditionalLanguage sharedBorderLength "boundary 在 %1 和 %2 之間 是 %3 長") | domainEnglishFormat.kif 4509-4509 | |
| (format EnglishLanguage sharedBorderLength "the boundary between %1 and %2 is %3 long") | domainEnglishFormat.kif 4508-4508 | |
| (termFormat EnglishLanguage sharedBorderLength "shared border length") | domainEnglishFormat.kif 65993-65993 |
| antecedent |
|
|
| (=> (sharedBorderLength ?N1 ?N2 ?M) (length (BorderFn ?N1 ?N2) ?M)) |
Geography.kif 758-760 |
|
|
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