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
ShorelineFn
AkaBoLanguage
Sigma KEE - ShorelineFn
ShorelineFn
appearance as argument number 1
(
documentation
ShorelineFn
EnglishLanguage
"(
ShorelineFn
?LAND ?WATER) denotes the
Shoreline
where the
GeographicArea
?LAND borders the
WaterArea
?WATER.")
Geography.kif 6172-6174
(
domain
ShorelineFn
1
GeographicArea
)
Geography.kif 6168-6168
Die Zahl 1 Argument von
ShorelineFn
ist ein
fall
von
GeographicArea
%n{nicht}
(
domain
ShorelineFn
2
WaterArea
)
Geography.kif 6169-6169
Die Zahl 2 Argument von
ShorelineFn
ist ein
fall
von
WaterArea
%n{nicht}
(
instance
ShorelineFn
BinaryFunction
)
Geography.kif 6167-6167
ShorelineFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
range
ShorelineFn
LandArea
)
Geography.kif 6170-6170
bildbereich
von
ShorelineFn
ist ein fall von
LandArea
{nicht}
(
subrelation
ShorelineFn
BorderFn
)
Geography.kif 6176-6176
ShorelineFn
ist eine
teilrelation
von
BorderFn
appearance as argument number 2
(
format
ChineseLanguage
ShorelineFn
"%1 和 %2 的 shoreline ")
domainEnglishFormat.kif 2275-2275
(
format
ChineseTraditionalLanguage
ShorelineFn
"%1 和 %2 的 shoreline ")
domainEnglishFormat.kif 2274-2274
(
format
EnglishLanguage
ShorelineFn
"the shoreline of %1 and %2")
domainEnglishFormat.kif 2273-2273
(
termFormat
ChineseLanguage
ShorelineFn
"海岸线")
domainEnglishFormat.kif 52793-52793
(
termFormat
ChineseTraditionalLanguage
ShorelineFn
"海岸線")
domainEnglishFormat.kif 52792-52792
(
termFormat
EnglishLanguage
ShorelineFn
"shoreline")
domainEnglishFormat.kif 52791-52791
statement
(
length
(
ShorelineFn
SouthernOcean
Antarctica
)
(
MeasureFn
17968.0
(
KiloFn
Meter
)))
Geography.kif 4671-4674
Die
laenge
von
ShorelineFn
SouthernOcean
and
Antarctica
ist 17968.0 1
tausend
Meter
(s) %n{nicht}
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