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 and
GeographicArea
(
domain
totalCoastline
2
LengthMeasure
)
Geography.kif 888-888
域
總海岸線
, 2 and
LengthMeasure
(
instance
totalCoastline
BinaryPredicate
)
Geography.kif 886-886
例
總海岸線
and
BinaryPredicate
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
例
UnitOfMeasure
and
UnitOfLength
測量
0.0 and
UnitOfMeasure
是
GeographicArea
的
total
海岸線
例
GeographicArea
and
內陸地區
consequent
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?UNIT
UnitOfLength
))
(
totalCoastline
?AREA
(
MeasureFn
0.0 ?UNIT)))
Geography.kif 912-916
例
GeographicArea
and
內陸地區
例
UnitOfMeasure
and
UnitOfLength
測量
0.0 and
UnitOfMeasure
是
GeographicArea
的
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