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
O argumento numero 1 de
totalCoastline
e' uma
instancia
de
Area Geografica
(
domain
totalCoastline
2
LengthMeasure
)
Geography.kif 888-888
O argumento numero 2 de
totalCoastline
e' uma
instancia
de
Medida de Comprimento
(
instance
totalCoastline
BinaryPredicate
)
Geography.kif 886-886
totalCoastline
e' uma
instancia
de
Predicado Binario
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 58546-58546
(
termFormat
ChineseTraditionalLanguage
totalCoastline
"總海岸線")
domainEnglishFormat.kif 58545-58545
(
termFormat
EnglishLanguage
totalCoastline
"total coastline")
domainEnglishFormat.kif 58544-58544
antecedent
(=>
(
and
(
instance
?UNIT
UnitOfLength
)
(
totalCoastline
?AREA
(
MeasureFn
0.0 ?UNIT)))
(
instance
?AREA
LandlockedArea
))
Geography.kif 918-922
Unidade de Medida
e' uma
instancia
de
UnitOfLength
totalCoastline
Area Geografica
and 0.0
Unidade de Medida
(s)
Area Geografica
e' uma
instancia
de
LandlockedArea
consequent
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?UNIT
UnitOfLength
))
(
totalCoastline
?AREA
(
MeasureFn
0.0 ?UNIT)))
Geography.kif 912-916
Area Geografica
e' uma
instancia
de
LandlockedArea
Unidade de Medida
e' uma
instancia
de
UnitOfLength
totalCoastline
Area Geografica
and 0.0
Unidade de Medida
(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