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 451-456 | |
(domain dependentGeopoliticalArea 1 GeopoliticalArea) | Government.kif 448-448 | |
(domain dependentGeopoliticalArea 2 GeopoliticalArea) | Government.kif 449-449 | |
(instance dependentGeopoliticalArea AsymmetricRelation) | Government.kif 445-445 | |
(instance dependentGeopoliticalArea TransitiveRelation) | Government.kif 446-446 | |
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) | Government.kif 447-447 | |
(subrelation dependentGeopoliticalArea claimedTerritory) | Geography.kif 965-965 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ") | domainEnglishFormat.kif 3235-3235 | |
(format ChineseTraditionalLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ") | domainEnglishFormat.kif 3234-3234 | |
(format EnglishLanguage dependentGeopoliticalArea "%1 is a dependent of %2") | domainEnglishFormat.kif 3233-3233 | |
(termFormat ChineseLanguage dependentGeopoliticalArea "依赖的地缘政治区域") | domainEnglishFormat.kif 19060-19060 | |
(termFormat ChineseTraditionalLanguage dependentGeopoliticalArea "依賴的地緣政治區域") | domainEnglishFormat.kif 19059-19059 | |
(termFormat EnglishLanguage dependentGeopoliticalArea "dependent geopolitical area") | domainEnglishFormat.kif 19058-19058 |
antecedent |
![]() |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (not (geopoliticalSubdivision ?AREA ?COUNTRY))) |
Government.kif 466-469 | |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (possesses ?COUNTRY ?AREA)) |
Government.kif 458-460 |
consequent |
![]() |
(=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (dependentGeopoliticalArea ?AREA ?COUNTRY)) |
Government.kif 462-464 | |
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY))) |
Government.kif 471-474 | |
(=> (independenceDate ?COUNTRY1 ?DATE) (holdsDuring (FutureFn ?DATE) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 535-540 | |
(=> (instance ?AREA OverseasArea) (exists (?COUNTRY) (and (instance ?COUNTRY Nation) (dependentGeopoliticalArea ?AREA ?COUNTRY)))) |
Government.kif 482-487 | |
(=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates)) |
Media.kif 2584-2586 |
appearance as argument number 0 |
![]() |
![]() |
![]() |