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	dependentGeopoliticalArea の数値 1 引数は地政学的地域の instance では
(domain dependentGeopoliticalArea 2 GeopoliticalArea)	Government.kif 424-424	dependentGeopoliticalArea の数値 2 引数は地政学的地域の instance では
(instance dependentGeopoliticalArea AsymmetricRelation)	Government.kif 420-420	dependentGeopoliticalArea は非対称関係の instance では
(instance dependentGeopoliticalArea TransitiveRelation)	Government.kif 421-421	dependentGeopoliticalArea は推移関係の instance では
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision)	Government.kif 422-422	dependentGeopoliticalArea は primaryGeopoliticalSubdivision に internally 関連して
(subrelation dependentGeopoliticalArea claimedTerritory)	Geography.kif 1098-1098	dependentGeopoliticalArea は claimedTerritory の subrelation では

appearance as argument number 2

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

antecedent

(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (not (geopoliticalSubdivision ?AREA ?COUNTRY)))	Government.kif 441-444	dependentGeopoliticalArea 地政学的地域 and 地政学的地域地政学的地域は地政学的地域の geopolitical 部分では
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (possesses ?COUNTRY ?AREA))	Government.kif 433-435	dependentGeopoliticalArea 地政学的地域 and 地政学的地域地政学的地域は地政学的地域を possesses

consequent

(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))	Government.kif 510-517	independenceDate 地政学的地域 and 時間間隔時間位置は時間間隔の instance ではエンティティー dependentGeopoliticalArea 地政学的地域 and エンティティーは時間位置の after の during holds
(=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (dependentGeopoliticalArea ?AREA ?COUNTRY))	Government.kif 437-439	dependentAreaOfType 地政学的地域, 地政学的地域 and 地政学的地域 dependentGeopoliticalArea 地政学的地域 and 地政学的地域
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY)))	Government.kif 446-449	地政学的地域は地政学的地域の geopolitical 部分では dependentGeopoliticalArea 地政学的地域 and 地政学的地域
(=> (instance ?AREA OverseasArea) (exists (?COUNTRY) (and (instance ?COUNTRY Nation) (dependentGeopoliticalArea ?AREA ?COUNTRY))))	Government.kif 457-462	地政学的地域は OverseasArea の instance では地政学的地域地政学的地域は国民の instance では dependentGeopoliticalArea 地政学的地域 and 地政学的地域
(=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates))	Media.kif 2616-2618	地政学的地域は UnitedStatesMinorOutlyingIslands の member では dependentGeopoliticalArea 地政学的地域 and UnitedStates

appearance as argument number 0

(dependentGeopoliticalArea AalandIslands Finland)	Media.kif 2564-2564	dependentGeopoliticalArea AalandIslands and Finland
(dependentGeopoliticalArea AmericanSamoa UnitedStates)	CountriesAndRegions.kif 3721-3721	dependentGeopoliticalArea AmericanSamoa and UnitedStates
(dependentGeopoliticalArea Anguilla UnitedKingdom)	CountriesAndRegions.kif 3723-3723	dependentGeopoliticalArea Anguilla and UnitedKingdom
(dependentGeopoliticalArea Aruba Netherlands)	CountriesAndRegions.kif 3725-3725	dependentGeopoliticalArea Aruba and Netherlands
(dependentGeopoliticalArea AshmoreAndCartierIslands Australia)	CountriesAndRegions.kif 3727-3727	dependentGeopoliticalArea AshmoreAndCartierIslands and Australia
(dependentGeopoliticalArea BakerIsland UnitedStates)	CountriesAndRegions.kif 3729-3729	dependentGeopoliticalArea BakerIsland and UnitedStates
(dependentGeopoliticalArea BassasDaIndia France)	CountriesAndRegions.kif 3731-3731	dependentGeopoliticalArea BassasDaIndia and France
(dependentGeopoliticalArea Bermuda UnitedKingdom)	CountriesAndRegions.kif 3733-3733	dependentGeopoliticalArea Bermuda and UnitedKingdom
(dependentGeopoliticalArea BouvetIsland Norway)	CountriesAndRegions.kif 3735-3735	dependentGeopoliticalArea BouvetIsland and Norway
(dependentGeopoliticalArea BritishIndianOceanTerritory UnitedKingdom)	CountriesAndRegions.kif 3737-3737	dependentGeopoliticalArea BritishIndianOceanTerritory and UnitedKingdom
(dependentGeopoliticalArea BritishVirginIslands UnitedKingdom)	CountriesAndRegions.kif 3739-3739	dependentGeopoliticalArea BritishVirginIslands and UnitedKingdom
(dependentGeopoliticalArea CaymanIslands UnitedKingdom)	CountriesAndRegions.kif 3742-3742	dependentGeopoliticalArea CaymanIslands and UnitedKingdom
(dependentGeopoliticalArea ChannelIslands UnitedKingdom)	CountriesAndRegions.kif 3745-3745	dependentGeopoliticalArea ChannelIslands and UnitedKingdom
(dependentGeopoliticalArea ChristmasIsland Australia)	CountriesAndRegions.kif 3749-3749	dependentGeopoliticalArea ChristmasIsland and Australia
(dependentGeopoliticalArea ClippertonIsland France)	CountriesAndRegions.kif 3751-3751	dependentGeopoliticalArea ClippertonIsland and France
(dependentGeopoliticalArea CocosKeelingIslands Australia)	CountriesAndRegions.kif 3753-3753	dependentGeopoliticalArea CocosKeelingIslands and Australia
(dependentGeopoliticalArea CookIslands NewZealand)	CountriesAndRegions.kif 3755-3755	dependentGeopoliticalArea CookIslands and NewZealand
(dependentGeopoliticalArea CoralSeaIslands Australia)	CountriesAndRegions.kif 3757-3757	dependentGeopoliticalArea CoralSeaIslands and Australia
(dependentGeopoliticalArea EuropaIsland France)	CountriesAndRegions.kif 3759-3759	dependentGeopoliticalArea EuropaIsland and France
(dependentGeopoliticalArea FalklandIslands UnitedKingdom)	CountriesAndRegions.kif 3761-3761	dependentGeopoliticalArea FalklandIslands and UnitedKingdom
(dependentGeopoliticalArea FaroeIslands Denmark)	CountriesAndRegions.kif 3763-3763	dependentGeopoliticalArea FaroeIslands and Denmark
(dependentGeopoliticalArea FrenchGuiana France)	CountriesAndRegions.kif 3765-3765	dependentGeopoliticalArea FrenchGuiana and France
(dependentGeopoliticalArea FrenchPolynesia France)	CountriesAndRegions.kif 3767-3767	dependentGeopoliticalArea FrenchPolynesia and France
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France)	CountriesAndRegions.kif 3769-3769	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: