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	巴尔米拉环礁是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 653-653	巴尔米拉环礁是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2624-2624	巴尔米拉环礁是 UnitedStatesMinorOutlyingIslands 的 member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4219-4219	巴尔米拉环礁的名是 "Palmyra Atoll"
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