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
O argumento numero 1 de
dependentAreaOfType
e' uma
instancia
de
Area Geopolitica
(
domain
dependentAreaOfType
2
GeopoliticalArea
)
Government.kif 86-86
O argumento numero 2 de
dependentAreaOfType
e' uma
instancia
de
Area Geopolitica
(
domainSubclass
dependentAreaOfType
3
GeopoliticalArea
)
Government.kif 87-87
O argumento numero 3 de
dependentAreaOfType
e' uma
sub
-classe de
Area Geopolitica
(
instance
dependentAreaOfType
TernaryPredicate
)
Government.kif 84-84
dependentAreaOfType
e' uma
instancia
de
Predicado Ternario
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
Area Geopolitica
,
Area Geopolitica
and
Area Geopolitica
dependentGeopoliticalArea
Area Geopolitica
and
Area Geopolitica
(=>
(
dependentAreaOfType
?AREA ?COUNTRY ?TYPE)
(
instance
?AREA ?TYPE))
Government.kif 95-97
dependentAreaOfType
Area Geopolitica
,
Area Geopolitica
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
consequent
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?AREA
(
OverseasAreaFn
?COUNTRY)))
(
dependentAreaOfType
?AREA ?COUNTRY
OverseasArea
))
Government.kif 507-511
Area Geopolitica
e' uma
instancia
de
Nacao
Area Geopolitica
e' uma
instancia
de
OverseasAreaFn
Area Geopolitica
dependentAreaOfType
Area Geopolitica
,
Area Geopolitica
and
OverseasArea
(=>
(
instance
?AREA
BritishCrownColony
)
(
dependentAreaOfType
?AREA
UnitedKingdom
BritishCrownColony
))
Government.kif 521-523
Area Geopolitica
e' uma
instancia
de
BritishCrownColony
dependentAreaOfType
Area Geopolitica
,
UnitedKingdom
and
BritishCrownColony
(=>
(
instance
?AREA
UnincorporatedUnitedStatesTerritory
)
(
dependentAreaOfType
?AREA
UnitedStates
OverseasArea
))
Government.kif 515-517
Area Geopolitica
e' uma
instancia
de
UnincorporatedUnitedStatesTerritory
dependentAreaOfType
Area Geopolitica
,
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