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 468-469
(
domain
OverseasAreaFn
1
GeopoliticalArea
)
Government.kif 465-465
Le nombre 1 argument de
OverseasAreaFn
est une
instance
de
secteur g�opolitique
(
instance
OverseasAreaFn
UnaryFunction
)
Government.kif 464-464
OverseasAreaFn
est une
instance
de
function unaire
(
rangeSubclass
OverseasAreaFn
OverseasArea
)
Government.kif 466-466
Les valeurs retourn�es par
OverseasAreaFn
sont des
sous
-classes de
OverseasArea
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 43808-43808
(
termFormat
ChineseTraditionalLanguage
OverseasAreaFn
"海外地區")
domainEnglishFormat.kif 43807-43807
(
termFormat
EnglishLanguage
OverseasAreaFn
"overseas area")
domainEnglishFormat.kif 43806-43806
antecedent
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?AREA
(
OverseasAreaFn
?COUNTRY)))
(
dependentAreaOfType
?AREA ?COUNTRY
OverseasArea
))
Government.kif 471-475
Secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
OverseasAreaFn
secteur g�opolitique
dependentAreaOfType
secteur g�opolitique
,
secteur g�opolitique
and
OverseasArea
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