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
(
instance
OverseasAreaFn
UnaryFunction
)
Government.kif 464-464
(
rangeSubclass
OverseasAreaFn
OverseasArea
)
Government.kif 466-466
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
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