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
Le nombre 1 argument de
dependentAreaOfType
est une
instance
de
secteur g�opolitique
(
domain
dependentAreaOfType
2
GeopoliticalArea
)
Government.kif 86-86
Le nombre 2 argument de
dependentAreaOfType
est une
instance
de
secteur g�opolitique
(
domainSubclass
dependentAreaOfType
3
GeopoliticalArea
)
Government.kif 87-87
Le nombre 3 argument de
dependentAreaOfType
est une
sous
-classe de
secteur g�opolitique
(
instance
dependentAreaOfType
TernaryPredicate
)
Government.kif 84-84
dependentAreaOfType
est une
instance
de
pr�dicat ternaire
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 473-475
dependentAreaOfType
secteur g�opolitique
,
secteur g�opolitique
and
secteur g�opolitique
dependentGeopoliticalArea
secteur g�opolitique
and
secteur g�opolitique
(=>
(
dependentAreaOfType
?AREA ?COUNTRY ?TYPE)
(
instance
?AREA ?TYPE))
Government.kif 95-97
dependentAreaOfType
secteur g�opolitique
,
secteur g�opolitique
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
consequent
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?AREA
(
OverseasAreaFn
?COUNTRY)))
(
dependentAreaOfType
?AREA ?COUNTRY
OverseasArea
))
Government.kif 507-511
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
(=>
(
instance
?AREA
BritishCrownColony
)
(
dependentAreaOfType
?AREA
UnitedKingdom
BritishCrownColony
))
Government.kif 521-523
Secteur g�opolitique
est une
instance
de
BritishCrownColony
dependentAreaOfType
secteur g�opolitique
,
UnitedKingdom
and
BritishCrownColony
(=>
(
instance
?AREA
UnincorporatedUnitedStatesTerritory
)
(
dependentAreaOfType
?AREA
UnitedStates
OverseasArea
))
Government.kif 515-517
Secteur g�opolitique
est une
instance
de
UnincorporatedUnitedStatesTerritory
dependentAreaOfType
secteur g�opolitique
,
UnitedStates
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