PalmyraAtoll - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3829-3829	巴爾米拉環礁是美國的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3830-3830
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 650-650
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 691-691	巴爾米拉環礁是大洋洲的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3908-3908	例巴爾米拉環礁 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 653-653	例巴爾米拉環礁 and LandArea
No TPTP formula. May not be expressible in strict first order.	Media.kif 2624-2624	會員巴爾米拉環礁 and UnitedStatesMinorOutlyingIslands

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4219-4219	名 "Palmyra Atoll" and 巴爾米拉環礁
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44160-44160
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44159-44159
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44158-44158