Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 699-700
(
domain
BorderFn
1
GeographicArea
)
Geography.kif 695-695
The number 1 argument of
border
is an
instance
of
geographic area
(
domain
BorderFn
2
GeographicArea
)
Geography.kif 696-696
The number 2 argument of
border
is an
instance
of
geographic area
(
instance
BorderFn
BinaryFunction
)
Geography.kif 693-693
Border
is an
instance
of
binary function
(
range
BorderFn
GeographicArea
)
Geography.kif 697-697
The
range
of
border
is an instance of
geographic area
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 694-694
Border
has
name
"border"
(
subrelation
ShorelineFn
BorderFn
)
Geography.kif 6073-6073
Shoreline
is a
subrelation
of
border
(
termFormat
ChineseLanguage
BorderFn
"边界")
domainEnglishFormat.kif 11654-11654
(
termFormat
ChineseTraditionalLanguage
BorderFn
"邊界")
domainEnglishFormat.kif 11653-11653
(
termFormat
EnglishLanguage
BorderFn
"border")
domainEnglishFormat.kif 11652-11652
antecedent
(=>
(
and
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
GeographicArea
)
(
instance
?COUNTRY1
Nation
)
(
instance
?COUNTRY2
Nation
))
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
InternationalBorder
))
Geography.kif 712-717
If the
border
of
a geographic area
and
another geographic area
is an
instance
of
geographic area
and
the geographic area
is an
instance
of
nation
and
the other geographic area
is an
instance
of
nation
,
then the
border
of
the geographic area
and
the other geographic area
is an
instance
of
international border
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 702-704
If the
border
of
a geographic area
and
another geographic area
is an
instance
of
geographic area
,
then
the geographic area
meet
s
the other geographic area
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 719-721
If the
border
of
a geographic area
and
another geographic area
is an
instance
of
geographic area
,
then
the geographic area
is
adjacent
to
the other geographic area
consequent
(=>
(
and
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
GeographicArea
)
(
instance
?COUNTRY1
Nation
)
(
instance
?COUNTRY2
Nation
))
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
InternationalBorder
))
Geography.kif 712-717
If the
border
of
a geographic area
and
another geographic area
is an
instance
of
geographic area
and
the geographic area
is an
instance
of
nation
and
the other geographic area
is an
instance
of
nation
,
then the
border
of
the geographic area
and
the other geographic area
is an
instance
of
international border
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 706-710
If
a geographic area
is an
instance
of
geographic area
and
another geographic area
is an
instance
of
geographic area
,
then the
border
of
the geographic area
and
the other geographic area
is
equal
to the
border
of
the other geographic area
and
the geographic area
(=>
(
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 749-757
If
an object
is an
instance
of
checkpoint
,
then there exists
another object
such that
the other object
is an
instance
of
road
and
the other object
is
near
to
the object
or there exist
a geographic area
and
another geographic area
such that the
border
of
the geographic area
and
the other geographic area
is
near
to
the object
(=>
(
sharedBorderLength
?N1 ?N2 ?M)
(
length
(
BorderFn
?N1 ?N2) ?M))
Geography.kif 765-767
If the
boundary
between
a geographic area
and
another geographic area
is
a length measure
long,
then the
length
of the
border
of
the geographic area
and
the other geographic area
is
the length measure
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
