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
totalCoastline
の数値 1 引数は
地理的地域
の
instance
では %n
(
domain
totalCoastline
2
LengthMeasure
)
Geography.kif 888-888
totalCoastline
の数値 2 引数は
長さ測定
の
instance
では %n
(
instance
totalCoastline
BinaryPredicate
)
Geography.kif 886-886
totalCoastline
は
2進述語
の
instance
では %n
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
では %n
totalCoastline
地理的地域
and 0.0 の
測定単位
(s)
地理的地域
は
LandlockedArea
の
instance
では %n
consequent
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?UNIT
UnitOfLength
))
(
totalCoastline
?AREA
(
MeasureFn
0.0 ?UNIT)))
Geography.kif 912-916
地理的地域
は
LandlockedArea
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
totalCoastline
地理的地域
and 0.0 の
測定単位
(s)
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