TreeView Knowledge Base Browser - dependentGeopoliticalArea

appearance as argument number 1

(subrelation dependentGeopoliticalArea claimedTerritory)	Geography.kif 2424-2424	dependent geopolitical area is a subrelation of claimed territory
(instance dependentGeopoliticalArea AsymmetricRelation)	Government.kif 420-420	dependent geopolitical area is an instance of asymmetric relation
(instance dependentGeopoliticalArea TransitiveRelation)	Government.kif 421-421	dependent geopolitical area is an instance of transitive relation
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision)	Government.kif 422-422	dependent geopolitical area is internally related to primary geopolitical subdivision
(domain dependentGeopoliticalArea 1 GeopoliticalArea)	Government.kif 423-423	The number 1 argument of dependent geopolitical area is an instance of geopolitical area
(domain dependentGeopoliticalArea 2 GeopoliticalArea)	Government.kif 424-424	The number 2 argument of dependent geopolitical area is an instance of geopolitical area
(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	The number 2 argument of dependent geopolitical area is an instance of geopolitical area

appearance as argument number 2

(format EnglishLanguage dependentGeopoliticalArea "%1 is a dependent of %2")	domainEnglishFormat.kif 3224-3224
(format ChineseTraditionalLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ")	domainEnglishFormat.kif 3225-3225
(format ChineseLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ")	domainEnglishFormat.kif 3226-3226
(termFormat EnglishLanguage dependentGeopoliticalArea "dependent geopolitical area")	domainEnglishFormat.kif 19128-19128
(termFormat ChineseTraditionalLanguage dependentGeopoliticalArea "依賴的地緣政治區域")	domainEnglishFormat.kif 19129-19129
(termFormat ChineseLanguage dependentGeopoliticalArea "依赖的地缘政治区域")	domainEnglishFormat.kif 19130-19130

antecedent

(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (possesses ?COUNTRY ?AREA))	Government.kif 433-435	If X is a dependent of Y, then Y possesses X
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (not (geopoliticalSubdivision ?AREA ?COUNTRY)))	Government.kif 441-444	If X is a dependent of Y, then X is not a geopolitical part of Y

consequent

(=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (dependentGeopoliticalArea ?AREA ?COUNTRY))	Government.kif 437-439	If X dependent area of type Y for Z, then X is a dependent of Y
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY)))	Government.kif 446-449	If X is a geopolitical part of Y, then X is a dependent of Y
(=> (instance ?AREA OverseasArea) (exists (?COUNTRY) (and (instance ?COUNTRY Nation) (dependentGeopoliticalArea ?AREA ?COUNTRY))))	Government.kif 457-462	If X is an instance of overseas area, then there exists Y such that Y is an instance of nation and X is a dependent of Y
(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))	Government.kif 510-517	If X is an independence date of Y and Z is an instance of X, then there doesn't exist W such that Y is a dependent of W holds during after Z
(=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates))	Media.kif 2561-2563	If X is a member of United states minor outlying islands, then X is a dependent of united states

appearance as argument number 0

(dependentGeopoliticalArea Palestine UnitedKingdom)	CountriesAndRegions.kif 756-756	Palestine is a dependent of united kingdom
(dependentGeopoliticalArea AmericanSamoa UnitedStates)	CountriesAndRegions.kif 3726-3726	American samoa is a dependent of united states
(dependentGeopoliticalArea Anguilla UnitedKingdom)	CountriesAndRegions.kif 3728-3728	Anguilla is a dependent of united kingdom
(dependentGeopoliticalArea Aruba Netherlands)	CountriesAndRegions.kif 3730-3730	Aruba is a dependent of netherlands
(dependentGeopoliticalArea AshmoreAndCartierIslands Australia)	CountriesAndRegions.kif 3732-3732	Ashmore and cartier islands is a dependent of australia
(dependentGeopoliticalArea BakerIsland UnitedStates)	CountriesAndRegions.kif 3734-3734	Baker island is a dependent of united states
(dependentGeopoliticalArea BassasDaIndia France)	CountriesAndRegions.kif 3736-3736	Bassas da india is a dependent of france
(dependentGeopoliticalArea Bermuda UnitedKingdom)	CountriesAndRegions.kif 3738-3738	Bermuda is a dependent of united kingdom
(dependentGeopoliticalArea BouvetIsland Norway)	CountriesAndRegions.kif 3740-3740	Bouvet island is a dependent of norway
(dependentGeopoliticalArea BritishIndianOceanTerritory UnitedKingdom)	CountriesAndRegions.kif 3742-3742	British indian ocean territory is a dependent of united kingdom
(dependentGeopoliticalArea BritishVirginIslands UnitedKingdom)	CountriesAndRegions.kif 3744-3744	British virgin islands is a dependent of united kingdom
(dependentGeopoliticalArea CaymanIslands UnitedKingdom)	CountriesAndRegions.kif 3747-3747	Cayman islands is a dependent of united kingdom
(dependentGeopoliticalArea ChannelIslands UnitedKingdom)	CountriesAndRegions.kif 3750-3750	Channel islands is a dependent of united kingdom
(dependentGeopoliticalArea ChristmasIsland Australia)	CountriesAndRegions.kif 3754-3754	Christmas island is a dependent of australia
(dependentGeopoliticalArea ClippertonIsland France)	CountriesAndRegions.kif 3756-3756	Clipperton island is a dependent of france
(dependentGeopoliticalArea CocosKeelingIslands Australia)	CountriesAndRegions.kif 3758-3758	Cocos keeling islands is a dependent of australia
(dependentGeopoliticalArea CookIslands NewZealand)	CountriesAndRegions.kif 3760-3760	Cook islands is a dependent of new zealand
(dependentGeopoliticalArea CoralSeaIslands Australia)	CountriesAndRegions.kif 3762-3762	Coral sea islands is a dependent of australia
(dependentGeopoliticalArea EuropaIsland France)	CountriesAndRegions.kif 3764-3764	Europa island is a dependent of france
(dependentGeopoliticalArea FalklandIslands UnitedKingdom)	CountriesAndRegions.kif 3766-3766	Falkland islands is a dependent of united kingdom
(dependentGeopoliticalArea FaroeIslands Denmark)	CountriesAndRegions.kif 3768-3768	Faroe islands is a dependent of denmark
(dependentGeopoliticalArea FrenchGuiana France)	CountriesAndRegions.kif 3770-3770	French guiana is a dependent of france
(dependentGeopoliticalArea FrenchPolynesia France)	CountriesAndRegions.kif 3772-3772	French polynesia is a dependent of france
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France)	CountriesAndRegions.kif 3774-3774	French southern and antarctic lands is a dependent of 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: