No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3817-3817 |
納瓦薩島 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3818-3818 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 614-614 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 453-453 |
納瓦薩島 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3901-3901 |
例 納瓦薩島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 423-423 |
例 納瓦薩島 and LandArea |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2622-2622 |
會員 納瓦薩島 and UnitedStatesMinorOutlyingIslands |