|
|
   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 8021-8025 | |
| (subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) | Mid-level-ontology.kif 8017-8017 | DependencyOrSpecialSovereigntyArea は 地政学的地域 の subclass では %n |
| 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 24713-24720 | PostalPlace は 地政学的地域 に located して %n PostalPlace は PostalPlace の instance では %n 地政学的地域 は 国民 の instance では %n 地政学的地域 は DependencyOrSpecialSovereigntyArea の instance では %n postCountry PostalPlace and 地政学的地域 |
| (=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 24729-24736 |
|
| consequent |
|
|
| (=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea))) |
Mid-level-ontology.kif 24707-24711 |
|
|
|
|