Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalLandBoundary

Sigma KEE - totalLandBoundary
totalLandBoundary

appearance as argument number 1
-------------------------


(documentation totalLandBoundary EnglishLanguage "(totalLandBoundary ?REGION ?LENGTH) means that the GeographicArea ?REGION has a total LengthMeasure ?LENGTH of land boundaries between it and other countries. Note that the boundaries included in the total length may be discontinuous, as when interrupted by stretches of Seacoast.") Geography.kif 680-684
(domain totalLandBoundary 1 GeographicArea) Geography.kif 677-677 Le nombre 1 argument de totalLandBoundary est une instance de secteur g�ographique
(domain totalLandBoundary 2 LengthMeasure) Geography.kif 678-678 Le nombre 2 argument de totalLandBoundary est une instance de mesure de longueur
(instance totalLandBoundary BinaryPredicate) Geography.kif 676-676 totalLandBoundary est une instance de pr�dicat binaire

appearance as argument number 2
-------------------------


(format ChineseLanguage totalLandBoundary "%2 %n 是 %1 的 total 土地边界") domainEnglishFormat.kif 2503-2503
(format ChineseTraditionalLanguage totalLandBoundary "%2 %n 是 %1 的 total 土地邊界") domainEnglishFormat.kif 2502-2502
(format EnglishLanguage totalLandBoundary "%2 is %n a total land boundary of %1") domainEnglishFormat.kif 2501-2501
(termFormat ChineseLanguage totalLandBoundary "土地总面积") domainEnglishFormat.kif 58574-58574
(termFormat ChineseTraditionalLanguage totalLandBoundary "土地總面積") domainEnglishFormat.kif 58573-58573
(termFormat EnglishLanguage totalLandBoundary "total land boundary") domainEnglishFormat.kif 58572-58572


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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