| 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 9188-9192 | |
| (subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) | Mid-level-ontology.kif 9184-9184 | DependencyOrSpecialSovereigntyArea は 地政学的地域 の subclass では |
| 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 26375-26382 | PostalPlace は 地政学的地域 に located して PostalPlace は PostalPlace の instance では 地政学的地域 は 国民 の instance では 地政学的地域 は DependencyOrSpecialSovereigntyArea の instance では postCountry PostalPlace and 地政学的地域 |
| (=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 26391-26398 |
|
| consequent |
|
|
| (=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea))) |
Mid-level-ontology.kif 26369-26373 |
|
|
|
|