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 The number 1 argument of total land boundary is an instance of geographic area
(domain totalLandBoundary 2 LengthMeasure) Geography.kif 678-678 The number 2 argument of total land boundary is an instance of length measure
(instance totalLandBoundary BinaryPredicate) Geography.kif 676-676 total land boundary is an instance of binary predicate

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