| DependencyOrSpecialSovereigntyArea | |
| appearance as argument number 1 |
|
|
| (documentation DependencyOrSpecialSovereigntyArea EnglishLanguage "DependencyOrSpecialSovereigntyArea is a subclass of GeopoliticalArea, representing the classification 'Dependency or Special Sovereignty Area' used by the CIA World Fact Book. Cf. IndependentState.") | Mid-level-ontology.kif 8721-8725 | |
| (subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) | Mid-level-ontology.kif 8717-8717 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 25661-25668 | |
| (=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 25677-25684 |
| consequent |
|
|
| (=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea))) |
Mid-level-ontology.kif 25655-25659 |
|
|
|