ClippertonIsland |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3756-3756 | dependentGeopoliticalArea ClippertonIsland and France |
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 | geographicSubregion ClippertonIsland and MiddleAmerica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3870-3870 | ClippertonIsland est une instance de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 469-469 | ClippertonIsland est une instance de zone de terre |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4113-4113 | ClippertonIsland s'appele nom "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 |