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 | |
(domain dependentGeopoliticalArea 2 GeopoliticalArea) | Government.kif 460-460 | |
(instance dependentGeopoliticalArea AsymmetricRelation) | Government.kif 456-456 | |
(instance dependentGeopoliticalArea TransitiveRelation) | Government.kif 457-457 | |
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) | Government.kif 458-458 | |
(subrelation dependentGeopoliticalArea claimedTerritory) | Geography.kif 966-966 |
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 477-480 | |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (possesses ?COUNTRY ?AREA)) |
Government.kif 469-471 |
consequent |
(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 546-553 | |
(=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (dependentGeopoliticalArea ?AREA ?COUNTRY)) |
Government.kif 473-475 | |
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY))) |
Government.kif 482-485 | |
(=> (instance ?AREA OverseasArea) (exists (?COUNTRY) (and (instance ?COUNTRY Nation) (dependentGeopoliticalArea ?AREA ?COUNTRY)))) |
Government.kif 493-498 | |
(=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates)) |
Media.kif 2614-2616 |
appearance as argument number 0 |