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 | |
(domain dependentGeopoliticalArea 2 GeopoliticalArea) | Government.kif 424-424 | |
(instance dependentGeopoliticalArea AsymmetricRelation) | Government.kif 420-420 | |
(instance dependentGeopoliticalArea TransitiveRelation) | Government.kif 421-421 | |
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) | Government.kif 422-422 | |
(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 441-444 | |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (possesses ?COUNTRY ?AREA)) |
Government.kif 433-435 |
consequent |
(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 510-517 | |
(=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (dependentGeopoliticalArea ?AREA ?COUNTRY)) |
Government.kif 437-439 | |
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY))) |
Government.kif 446-449 | |
(=> (instance ?AREA OverseasArea) (exists (?COUNTRY) (and (instance ?COUNTRY Nation) (dependentGeopoliticalArea ?AREA ?COUNTRY)))) |
Government.kif 457-462 | |
(=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates)) |
Media.kif 2614-2616 |
appearance as argument number 0 |