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 8048-8052 | |
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) | Mid-level-ontology.kif 8044-8044 | 子類 依賴或特殊主權領域 and GeopoliticalArea |
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 24770-24777 | 位於 PostalPlace and GeopoliticalArea 例 PostalPlace and PostalPlace 例 GeopoliticalArea and Nation 例 GeopoliticalArea and 依賴或特殊主權領域 PostalPlace 是在 GeopoliticalArea |
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 24786-24793 |
|
consequent |
(=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea))) |
Mid-level-ontology.kif 24764-24768 |