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
OverseasAreaFn
の数値 1 引数は
地政学的地域
の
instance
では %n
(
instance
OverseasAreaFn
UnaryFunction
)
Government.kif 500-500
OverseasAreaFn
は
1変数関数
の
instance
では %n
(
rangeSubclass
OverseasAreaFn
OverseasArea
)
Government.kif 502-502
OverseasAreaFn
が返す値は
OverseasArea
の
subclasses
では %n
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
地政学的地域
は
国民
の
instance
では %n
地政学的地域
は
OverseasAreaFn
地政学的地域
の
instance
では %n
dependentAreaOfType
地政学的地域
,
地政学的地域
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