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
OverseasAreaFn
Sigma KEE - OverseasAreaFn
OverseasAreaFn
appearance as argument number 1
(
documentation
OverseasAreaFn
EnglishLanguage
"(
OverseasAreaFn
?AREA) denotes the class of
OverseasArea
s that belong to the
GeopoliticalArea
?AREA.")
Government.kif 504-505
(
domain
OverseasAreaFn
1
GeopoliticalArea
)
Government.kif 501-501
The number 1 argument of
overseas area
is an
instance
of
geopolitical area
(
instance
OverseasAreaFn
UnaryFunction
)
Government.kif 500-500
Overseas area
is an
instance
of
unary function
(
rangeSubclass
OverseasAreaFn
OverseasArea
)
Government.kif 502-502
The values returned by
overseas area
are
subclasses
of
overseas area
appearance as argument number 2
(
format
ChineseLanguage
OverseasAreaFn
"%1 的 overseas 区域")
domainEnglishFormat.kif 1895-1895
(
format
ChineseTraditionalLanguage
OverseasAreaFn
"%1 的 overseas 區域")
domainEnglishFormat.kif 1894-1894
(
format
EnglishLanguage
OverseasAreaFn
"the overseas area of %1")
domainEnglishFormat.kif 1893-1893
(
termFormat
ChineseLanguage
OverseasAreaFn
"海外地区")
domainEnglishFormat.kif 43806-43806
(
termFormat
ChineseTraditionalLanguage
OverseasAreaFn
"海外地區")
domainEnglishFormat.kif 43805-43805
(
termFormat
EnglishLanguage
OverseasAreaFn
"overseas area")
domainEnglishFormat.kif 43804-43804
antecedent
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?AREA
(
OverseasAreaFn
?COUNTRY)))
(
dependentAreaOfType
?AREA ?COUNTRY
OverseasArea
))
Government.kif 507-511
If
a geopolitical area
is an
instance
of
nation
and
another geopolitical area
is an
instance
of the
overseas
area of
the geopolitical area
,
then
the other geopolitical area
dependent
area of type
the geopolitical area
for
overseas area
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