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岛是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 469-469	Clipperton岛是土地面积的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4113-4113	Clipperton岛的名是 "Clipperton Island"
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