Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
totalCoastline
Sigma KEE - totalCoastline
totalCoastline
appearance as argument number 1
(
documentation
totalCoastline
EnglishLanguage
"(
totalCoastline
?AREA ?COASTLENGTH) means that the total length of all boundaries between the
GeographicArea
?AREA and the ocean is the
LengthMeasure
?COASTLENGTH. The coastline counted may be discontinuous and may even be along different oceans (as in Columbia). A
totalCoastline
of zero indicates a
LandlockedArea
. Note that only
Ocean
coastlines are counted, not any shores with inland waters.")
Geography.kif 890-896
(
domain
totalCoastline
1
GeographicArea
)
Geography.kif 887-887
总海岸线
的 1 数量 是
地理区域
的
instance
(
domain
totalCoastline
2
LengthMeasure
)
Geography.kif 888-888
总海岸线
的 2 数量 是
长度测量
的
instance
(
instance
totalCoastline
BinaryPredicate
)
Geography.kif 886-886
总海岸线
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
totalCoastline
"%2 %n 是 %1 的
total
海岸线")
domainEnglishFormat.kif 2487-2487
(
format
ChineseTraditionalLanguage
totalCoastline
"%2 %n 是 %1 的
total
海岸線")
domainEnglishFormat.kif 2486-2486
(
format
EnglishLanguage
totalCoastline
"%2 is %n a
total
coastline of %1")
domainEnglishFormat.kif 2485-2485
(
termFormat
ChineseLanguage
totalCoastline
"总海岸线")
domainEnglishFormat.kif 58544-58544
(
termFormat
ChineseTraditionalLanguage
totalCoastline
"總海岸線")
domainEnglishFormat.kif 58543-58543
(
termFormat
EnglishLanguage
totalCoastline
"total coastline")
domainEnglishFormat.kif 58542-58542
antecedent
(=>
(
and
(
instance
?UNIT
UnitOfLength
)
(
totalCoastline
?AREA
(
MeasureFn
0.0 ?UNIT)))
(
instance
?AREA
LandlockedArea
))
Geography.kif 918-922
如果
测量单位
是
UnitOfLength
的
instance
和 0.0
那个 测量单位
是
地理区域
的
total
海岸线,
然后
那个 地理区域
是
内陆地区
的
instance
consequent
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?UNIT
UnitOfLength
))
(
totalCoastline
?AREA
(
MeasureFn
0.0 ?UNIT)))
Geography.kif 912-916
如果
地理区域
是
内陆地区
的
instance
和
测量单位
是
UnitOfLength
的
instance
,
然后 0.0
那个 测量单位
是
那个 地理区域
的
total
海岸线
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