| 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 1131-1131 |
| 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 ?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 2616-2618 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners