TreeView Knowledge Base Browser - 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 426-431
(domain dependentGeopoliticalArea 1 GeopoliticalArea)	Government.kif 423-423	Le nombre 1 argument de dependentGeopoliticalArea est une instance de secteur g�opolitique
(domain dependentGeopoliticalArea 2 GeopoliticalArea)	Government.kif 424-424	Le nombre 2 argument de dependentGeopoliticalArea est une instance de secteur g�opolitique
(instance dependentGeopoliticalArea AsymmetricRelation)	Government.kif 420-420	dependentGeopoliticalArea est une instance de relation asym�trique
(instance dependentGeopoliticalArea TransitiveRelation)	Government.kif 421-421	dependentGeopoliticalArea est une instance de relation transitive
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision)	Government.kif 422-422	dependentGeopoliticalArea est reli� � l'int�rieur de SUMO � primaryGeopoliticalSubdivision
(subrelation dependentGeopoliticalArea claimedTerritory)	Geography.kif 966-966	dependentGeopoliticalArea est une sous-relation de claimedTerritory

appearance as argument number 2

(format ChineseLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ")	domainEnglishFormat.kif 3230-3230
(format ChineseTraditionalLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ")	domainEnglishFormat.kif 3229-3229
(format EnglishLanguage dependentGeopoliticalArea "%1 is a dependent 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 441-444	dependentGeopoliticalArea secteur g�opolitique and secteur g�opolitique sous-division g�opolitique
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (possesses ?COUNTRY ?AREA))	Government.kif 433-435	dependentGeopoliticalArea secteur g�opolitique and secteur g�opolitique secteur g�opolitique poss�de secteur g�opolitique

consequent

(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))	Government.kif 510-517	independenceDate secteur g�opolitique and interval temporel position temporel est une instance de interval temporel entit� dependentGeopoliticalArea secteur g�opolitique and entit� pendant apr�s position temporel
(=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (dependentGeopoliticalArea ?AREA ?COUNTRY))	Government.kif 437-439	dependentAreaOfType secteur g�opolitique, secteur g�opolitique and secteur g�opolitique dependentGeopoliticalArea secteur g�opolitique and secteur g�opolitique
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY)))	Government.kif 446-449	Sous-division g�opolitique dependentGeopoliticalArea secteur g�opolitique and secteur g�opolitique
(=> (instance ?AREA OverseasArea) (exists (?COUNTRY) (and (instance ?COUNTRY Nation) (dependentGeopoliticalArea ?AREA ?COUNTRY))))	Government.kif 457-462	Secteur g�opolitique est une instance de OverseasArea secteur g�opolitique secteur g�opolitique est une instance de nation dependentGeopoliticalArea secteur g�opolitique and secteur g�opolitique
(=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates))	Media.kif 2614-2616	Secteur g�opolitique est un membre de UnitedStatesMinorOutlyingIslands dependentGeopoliticalArea secteur g�opolitique 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)

KB Term:			Term intersection

English Word: