| appearance as argument number 1 |
|
| (documentation sharedBorderLength EnglishLanguage "The length of the boundary between two GeographicRegions.") | Geography.kif 917-918 | |
| (domain sharedBorderLength 1 GeographicArea) | Geography.kif 920-920 | sharedBorderLength の数値 1 引数は 地理的地域 の instance では |
| (domain sharedBorderLength 2 GeographicArea) | Geography.kif 921-921 | sharedBorderLength の数値 2 引数は 地理的地域 の instance では |
| (domain sharedBorderLength 3 LengthMeasure) | Geography.kif 922-922 | sharedBorderLength の数値 3 引数は 長さ測定 の instance では |
| (instance sharedBorderLength TernaryPredicate) | Geography.kif 919-919 | sharedBorderLength は 3進述語 の instance では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage sharedBorderLength "boundary 在 %1 和 %2 之间 是 %3 长") | domainEnglishFormat.kif 4514-4514 | |
| (format ChineseTraditionalLanguage sharedBorderLength "boundary 在 %1 和 %2 之間 是 %3 長") | domainEnglishFormat.kif 4513-4513 | |
| (format EnglishLanguage sharedBorderLength "the boundary between %1 and %2 is %3 long") | domainEnglishFormat.kif 4512-4512 | |
| (termFormat EnglishLanguage sharedBorderLength "shared border length") | domainEnglishFormat.kif 65959-65959 |
| antecedent |
|
|
| (=> (sharedBorderLength ?N1 ?N2 ?M) (length (BorderFn ?N1 ?N2) ?M)) |
Geography.kif 923-925 |
|
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