ClippertonIsland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3756-3756	Clipperton島是法國的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3757-3757
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 349-349
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 473-473	Clipperton島是中美洲的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3870-3870	例 clipperton島 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 469-469	例 clipperton島 and LandArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4113-4113	名 "Clipperton Island" and clipperton島
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15162-15162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15161-15161
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15160-15160