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
Le nombre 1 argument de
BorderFn
est une
instance
de
secteur g�ographique
(
domain
BorderFn
2
GeographicArea
)
Geography.kif 689-689
Le nombre 2 argument de
BorderFn
est une
instance
de
secteur g�ographique
(
instance
BorderFn
BinaryFunction
)
Geography.kif 686-686
BorderFn
est une
instance
de
fonction binaire
(
range
BorderFn
GeographicArea
)
Geography.kif 690-690
Le
domaine
de
BorderFn
est une instance de
secteur g�ographique
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
BorderFn
s'appele
nom
"border"
(
subrelation
ShorelineFn
BorderFn
)
Geography.kif 6176-6176
ShorelineFn
est une
sous
-relation de
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
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
est une
instance
de
nation
secteur g�ographique
est une
instance
de
nation
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
InternationalBorder
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
rencontre
secteur g�ographique
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
est
Adjacent
�
secteur g�ographique
consequent
(=>
(
and
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
GeographicArea
)
(
instance
?COUNTRY1
Nation
)
(
instance
?COUNTRY2
Nation
))
(
instance
(
BorderFn
?COUNTRY1 ?COUNTRY2)
InternationalBorder
))
Geography.kif 705-710
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
est une
instance
de
nation
secteur g�ographique
est une
instance
de
nation
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
InternationalBorder
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 699-703
Secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
BorderFn
secteur g�ographique
and
secteur g�ographique
est
BorderFn
secteur g�ographique
and
secteur g�ographique
(=>
(
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
Objet
est une
instance
de
Checkpoint
objet
objet
est une
instance
de
Road
objet
est
Near
�
objet
secteur g�ographique
secteur g�ographique
BorderFn
secteur g�ographique
and
secteur g�ographique
est
Near
�
objet
(=>
(
sharedBorderLength
?N1 ?N2 ?M)
(
length
(
BorderFn
?N1 ?N2) ?M))
Geography.kif 758-760
sharedBorderLength
secteur g�ographique
,
secteur g�ographique
and
mesure de longueur
le
longueur
de
BorderFn
secteur g�ographique
and
secteur g�ographique
est
mesure de longueur
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