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
dependentGeopoliticalArea
Sigma KEE - dependentGeopoliticalArea
dependentGeopoliticalArea
appearance as argument number 1
(
documentation
dependentGeopoliticalArea
EnglishLanguage
"(
dependentGeopoliticalArea
?AREA1 ?AREA2) means that ?AREA1 is a geopolitical possession of the
GeopoliticalArea
?AREA2 and is not a
geopoliticalSubdivision
of ?AREA2. For example, (
dependentGeopoliticalArea
Guam
UnitedStates
), because Guam is a territory of the
UnitedStates
, not one of the fifty U.S. states. Contrast
primaryGeopoliticalSubdivision
.")
Government.kif 462-467
(
domain
dependentGeopoliticalArea
1
GeopoliticalArea
)
Government.kif 459-459
O argumento numero 1 de
dependentGeopoliticalArea
e' uma
instancia
de
Area Geopolitica
(
domain
dependentGeopoliticalArea
2
GeopoliticalArea
)
Government.kif 460-460
O argumento numero 2 de
dependentGeopoliticalArea
e' uma
instancia
de
Area Geopolitica
(
instance
dependentGeopoliticalArea
AsymmetricRelation
)
Government.kif 456-456
dependentGeopoliticalArea
e' uma
instancia
de
Relacao Assimetrica
(
instance
dependentGeopoliticalArea
TransitiveRelation
)
Government.kif 457-457
dependentGeopoliticalArea
e' uma
instancia
de
Relacao Transitiva
(
relatedInternalConcept
dependentGeopoliticalArea
primaryGeopoliticalSubdivision
)
Government.kif 458-458
dependentGeopoliticalArea
e'
relacionado
internamente por SUMO a
primaryGeopoliticalSubdivision
(
subrelation
dependentGeopoliticalArea
claimedTerritory
)
Geography.kif 966-966
dependentGeopoliticalArea
e' uma
sub
-relacao de
claimedTerritory
appearance as argument number 2
(
format
ChineseLanguage
dependentGeopoliticalArea
"%1 是 %2 的
de
pendent ")
domainEnglishFormat.kif 3230-3230
(
format
ChineseTraditionalLanguage
dependentGeopoliticalArea
"%1 是 %2 的
de
pendent ")
domainEnglishFormat.kif 3229-3229
(
format
EnglishLanguage
dependentGeopoliticalArea
"%1 is a
de
pendent of %2")
domainEnglishFormat.kif 3228-3228
(
termFormat
ChineseLanguage
dependentGeopoliticalArea
"依赖的地缘政治区域")
domainEnglishFormat.kif 19128-19128
(
termFormat
ChineseTraditionalLanguage
dependentGeopoliticalArea
"依賴的地緣政治區域")
domainEnglishFormat.kif 19127-19127
(
termFormat
EnglishLanguage
dependentGeopoliticalArea
"dependent geopolitical area")
domainEnglishFormat.kif 19126-19126
antecedent
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
not
(
geopoliticalSubdivision
?AREA ?COUNTRY)))
Government.kif 477-480
dependentGeopoliticalArea
Area Geopolitica
and
Area Geopolitica
sub-divisao geopolitica
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
possesses
?COUNTRY ?AREA))
Government.kif 469-471
dependentGeopoliticalArea
Area Geopolitica
and
Area Geopolitica
Area Geopolitica
possui
Area Geopolitica
consequent
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 546-553
independenceDate
Area Geopolitica
and
Intervalo Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
dependentGeopoliticalArea
Area Geopolitica
and
Entidade
vale
durante
apos
Posicao Temporal
(=>
(
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
(=>
(
geopoliticalSubdivision
?AREA ?COUNTRY)
(
not
(
dependentGeopoliticalArea
?AREA ?COUNTRY)))
Government.kif 482-485
Sub-divisao geopolitica
dependentGeopoliticalArea
Area Geopolitica
and
Area Geopolitica
(=>
(
instance
?AREA
OverseasArea
)
(
exists
(?COUNTRY)
(
and
(
instance
?COUNTRY
Nation
)
(
dependentGeopoliticalArea
?AREA ?COUNTRY))))
Government.kif 493-498
Area Geopolitica
e' uma
instancia
de
OverseasArea
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
dependentGeopoliticalArea
Area Geopolitica
and
Area Geopolitica
(=>
(
member
?AREA
UnitedStatesMinorOutlyingIslands
)
(
dependentGeopoliticalArea
?AREA
UnitedStates
))
Media.kif 2614-2616
Area Geopolitica
e'
membro
de
UnitedStatesMinorOutlyingIslands
dependentGeopoliticalArea
Area Geopolitica
and
UnitedStates
appearance as argument number 0
(
dependentGeopoliticalArea
AalandIslands
Finland
)
Media.kif 2562-2562
dependentGeopoliticalArea
AalandIslands
and
Finland
(
dependentGeopoliticalArea
AmericanSamoa
UnitedStates
)
CountriesAndRegions.kif 3726-3726
dependentGeopoliticalArea
AmericanSamoa
and
UnitedStates
(
dependentGeopoliticalArea
Anguilla
UnitedKingdom
)
CountriesAndRegions.kif 3728-3728
dependentGeopoliticalArea
Anguilla
and
UnitedKingdom
(
dependentGeopoliticalArea
Aruba
Netherlands
)
CountriesAndRegions.kif 3730-3730
dependentGeopoliticalArea
Aruba
and
Netherlands
(
dependentGeopoliticalArea
AshmoreAndCartierIslands
Australia
)
CountriesAndRegions.kif 3732-3732
dependentGeopoliticalArea
AshmoreAndCartierIslands
and
Australia
(
dependentGeopoliticalArea
BakerIsland
UnitedStates
)
CountriesAndRegions.kif 3734-3734
dependentGeopoliticalArea
BakerIsland
and
UnitedStates
(
dependentGeopoliticalArea
BassasDaIndia
France
)
CountriesAndRegions.kif 3736-3736
dependentGeopoliticalArea
BassasDaIndia
and
France
(
dependentGeopoliticalArea
Bermuda
UnitedKingdom
)
CountriesAndRegions.kif 3738-3738
dependentGeopoliticalArea
Bermuda
and
UnitedKingdom
(
dependentGeopoliticalArea
BouvetIsland
Norway
)
CountriesAndRegions.kif 3740-3740
dependentGeopoliticalArea
BouvetIsland
and
Norway
(
dependentGeopoliticalArea
BritishIndianOceanTerritory
UnitedKingdom
)
CountriesAndRegions.kif 3742-3742
dependentGeopoliticalArea
BritishIndianOceanTerritory
and
UnitedKingdom
(
dependentGeopoliticalArea
BritishVirginIslands
UnitedKingdom
)
CountriesAndRegions.kif 3744-3744
dependentGeopoliticalArea
BritishVirginIslands
and
UnitedKingdom
(
dependentGeopoliticalArea
CaymanIslands
UnitedKingdom
)
CountriesAndRegions.kif 3747-3747
dependentGeopoliticalArea
CaymanIslands
and
UnitedKingdom
(
dependentGeopoliticalArea
ChannelIslands
UnitedKingdom
)
CountriesAndRegions.kif 3750-3750
dependentGeopoliticalArea
ChannelIslands
and
UnitedKingdom
(
dependentGeopoliticalArea
ChristmasIsland
Australia
)
CountriesAndRegions.kif 3754-3754
dependentGeopoliticalArea
ChristmasIsland
and
Australia
(
dependentGeopoliticalArea
ClippertonIsland
France
)
CountriesAndRegions.kif 3756-3756
dependentGeopoliticalArea
ClippertonIsland
and
France
(
dependentGeopoliticalArea
CocosKeelingIslands
Australia
)
CountriesAndRegions.kif 3758-3758
dependentGeopoliticalArea
CocosKeelingIslands
and
Australia
(
dependentGeopoliticalArea
CookIslands
NewZealand
)
CountriesAndRegions.kif 3760-3760
dependentGeopoliticalArea
CookIslands
and
NewZealand
(
dependentGeopoliticalArea
CoralSeaIslands
Australia
)
CountriesAndRegions.kif 3762-3762
dependentGeopoliticalArea
CoralSeaIslands
and
Australia
(
dependentGeopoliticalArea
EuropaIsland
France
)
CountriesAndRegions.kif 3764-3764
dependentGeopoliticalArea
EuropaIsland
and
France
(
dependentGeopoliticalArea
FalklandIslands
UnitedKingdom
)
CountriesAndRegions.kif 3766-3766
dependentGeopoliticalArea
FalklandIslands
and
UnitedKingdom
(
dependentGeopoliticalArea
FaroeIslands
Denmark
)
CountriesAndRegions.kif 3768-3768
dependentGeopoliticalArea
FaroeIslands
and
Denmark
(
dependentGeopoliticalArea
FrenchGuiana
France
)
CountriesAndRegions.kif 3770-3770
dependentGeopoliticalArea
FrenchGuiana
and
France
(
dependentGeopoliticalArea
FrenchPolynesia
France
)
CountriesAndRegions.kif 3772-3772
dependentGeopoliticalArea
FrenchPolynesia
and
France
(
dependentGeopoliticalArea
FrenchSouthernAndAntarcticLands
France
)
CountriesAndRegions.kif 3774-3774
dependentGeopoliticalArea
FrenchSouthernAndAntarcticLands
and
France
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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