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
BorderFn
Sigma KEE - BorderFn
BorderFn
appearance as argument number 1
(
documentation
BorderFn
EnglishLanguage
"(
BorderFn
?AREA1 ?AREA2) denotes the border area where the
GeographicArea
s ?AREA1 and ?AREA2 meet.")
Geography.kif 692-693
(
domain
BorderFn
1
GeographicArea
)
Geography.kif 688-688
Die Zahl 1 Argument von
BorderFn
ist ein
fall
von
GeographicArea
%n{nicht}
(
domain
BorderFn
2
GeographicArea
)
Geography.kif 689-689
Die Zahl 2 Argument von
BorderFn
ist ein
fall
von
GeographicArea
%n{nicht}
(
instance
BorderFn
BinaryFunction
)
Geography.kif 686-686
BorderFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
range
BorderFn
GeographicArea
)
Geography.kif 690-690
bildbereich
von
BorderFn
ist ein fall von
GeographicArea
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
BorderFn
"%1 和 %2 的 border ")
domainEnglishFormat.kif 324-324
(
format
ChineseTraditionalLanguage
BorderFn
"%1 和 %2 的 border ")
domainEnglishFormat.kif 323-323
(
format
EnglishLanguage
BorderFn
"the border of %1 and %2")
domainEnglishFormat.kif 322-322
(
names
"border"
BorderFn
)
Geography.kif 687-687
names
"border" and
BorderFn
(
subrelation
ShorelineFn
BorderFn
)
Geography.kif 6176-6176
ShorelineFn
ist eine
teilrelation
von
BorderFn
(
termFormat
ChineseLanguage
BorderFn
"边界")
domainEnglishFormat.kif 11651-11651
(
termFormat
ChineseTraditionalLanguage
BorderFn
"邊界")
domainEnglishFormat.kif 11650-11650
(
termFormat
EnglishLanguage
BorderFn
"border")
domainEnglishFormat.kif 11649-11649
antecedent
(=>
(
and
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
GeographicArea
)
(
instance
?COUNTRY1
Nation
)
(
instance
?COUNTRY2
Nation
))
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
InternationalBorder
))
Geography.kif 705-710
Wenn
BorderFn
GeographicArea
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
** GeographicArea
ist ein
fall
von
Nation
%n{nicht} und
** ** GeographicArea
ist ein
fall
von
Nation
%n{nicht},
dann
BorderFn
** GeographicArea
and
** ** GeographicArea
ist ein
fall
von
InternationalBorder
%n{nicht}
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
Wenn
BorderFn
GeographicArea
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
** GeographicArea
schliesst
** ** GeographicArea
raeumlich an
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
Wenn
BorderFn
GeographicArea
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
** GeographicArea
ist
Adjacent
hinsichlich
** ** GeographicArea
%n{nicht}
consequent
(=>
(
and
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
GeographicArea
)
(
instance
?COUNTRY1
Nation
)
(
instance
?COUNTRY2
Nation
))
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
InternationalBorder
))
Geography.kif 705-710
Wenn
BorderFn
GeographicArea
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
** GeographicArea
ist ein
fall
von
Nation
%n{nicht} und
** ** GeographicArea
ist ein
fall
von
Nation
%n{nicht},
dann
BorderFn
** GeographicArea
and
** ** GeographicArea
ist ein
fall
von
InternationalBorder
%n{nicht}
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 699-703
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
BorderFn
** GeographicArea
and
** ** GeographicArea
ist gleich
BorderFn
** ** GeographicArea
and
** GeographicArea
%n{nicht}
(=>
(
instance
?X
Checkpoint
)
(
or
(
exists
(?ROAD)
(
and
(
instance
?ROAD
Road
)
(
orientation
?ROAD ?X
Near
)))
(
exists
(?REG1 ?REG2)
(
orientation
(
BorderFn
?REG1 ?REG2) ?X
Near
))))
Geography.kif 742-750
Wenn
Object
ist ein
fall
von
Checkpoint
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Road
%n{nicht} und
** ** Object
ist
Near
hinsichlich
** Object
%n{nicht} oder es gibt
GeographicArea
und
** GeographicArea
um
BorderFn
** GeographicArea
and
** ** GeographicArea
ist
Near
hinsichlich
** Object
%n{nicht}
(=>
(
sharedBorderLength
?N1 ?N2 ?M)
(
length
(
BorderFn
?N1 ?N2) ?M))
Geography.kif 758-760
Wenn
sharedBorderLength
GeographicArea
,
** GeographicArea
and
LengthMeasure
,
dann die
laenge
von
BorderFn
** GeographicArea
and
** ** GeographicArea
ist
** LengthMeasure
%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