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
dependentAreaOfType
Sigma KEE - dependentAreaOfType
dependentAreaOfType
appearance as argument number 1
(
documentation
dependentAreaOfType
EnglishLanguage
"(
dependentAreaOfType
?AREA ?COUNTRY ?TYPE) means that the
GeopoliticalArea
?AREA is a dependency of the independent
Nation
?COUNTRY, administered as a unit of ?TYPE. For example, (
dependentAreaOfType
SaintHelena
UnitedKingdom
OverseasArea
).")
Government.kif 89-93
(
domain
dependentAreaOfType
1
GeopoliticalArea
)
Government.kif 85-85
The number 1 argument of
dependent area of type
is an
instance
of
geopolitical area
(
domain
dependentAreaOfType
2
GeopoliticalArea
)
Government.kif 86-86
The number 2 argument of
dependent area of type
is an
instance
of
geopolitical area
(
domainSubclass
dependentAreaOfType
3
GeopoliticalArea
)
Government.kif 87-87
The number 3 argument of
dependent area of type
is a
subclass
of
geopolitical area
(
instance
dependentAreaOfType
TernaryPredicate
)
Government.kif 84-84
dependent area of type
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
dependentAreaOfType
"%1 %n{不是} 对于 %3
de
pendent 区域的类别 %2")
domainEnglishFormat.kif 712-712
(
format
ChineseTraditionalLanguage
dependentAreaOfType
"%1 %n{不是} 對於 %3
de
pendent 區域的類別 %2 ")
domainEnglishFormat.kif 711-711
(
format
EnglishLanguage
dependentAreaOfType
"%1 %n{doesn't}
de
pendent area of type %2 for %3")
domainEnglishFormat.kif 710-710
(
termFormat
ChineseLanguage
dependentAreaOfType
"依赖的类型区域")
domainEnglishFormat.kif 19122-19122
(
termFormat
ChineseTraditionalLanguage
dependentAreaOfType
"依賴的類型區域")
domainEnglishFormat.kif 19121-19121
(
termFormat
EnglishLanguage
dependentAreaOfType
"dependent area of type")
domainEnglishFormat.kif 19120-19120
antecedent
(=>
(
dependentAreaOfType
?AREA ?COUNTRY ?TYPE)
(
dependentGeopoliticalArea
?AREA ?COUNTRY))
Government.kif 437-439
If
a geopolitical area
dependent
area of type
another geopolitical area
for
a third kind of geopolitical area
,
then
the geopolitical area
is a
dependent
of
the other geopolitical area
(=>
(
dependentAreaOfType
?AREA ?COUNTRY ?TYPE)
(
instance
?AREA ?TYPE))
Government.kif 95-97
If
a geopolitical area
dependent
area of type
another geopolitical area
for
a third kind of geopolitical area
,
then
the geopolitical area
is an
instance
of
a third kind of geopolitical area
consequent
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?AREA
(
OverseasAreaFn
?COUNTRY)))
(
dependentAreaOfType
?AREA ?COUNTRY
OverseasArea
))
Government.kif 471-475
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
(=>
(
instance
?AREA
BritishCrownColony
)
(
dependentAreaOfType
?AREA
UnitedKingdom
BritishCrownColony
))
Government.kif 485-487
If
a geopolitical area
is an
instance
of
british crown colony
,
then
the geopolitical area
dependent
area of type
united kingdom
for
british crown colony
(=>
(
instance
?AREA
UnincorporatedUnitedStatesTerritory
)
(
dependentAreaOfType
?AREA
UnitedStates
OverseasArea
))
Government.kif 479-481
If
a geopolitical area
is an
instance
of
unincorporated united states territory
,
then
the geopolitical area
dependent
area of type
united states
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