| ClippertonIsland(clipperton island)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3756-3756 | Clipperton island is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3757-3757 | Clipperton island is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 349-349 | Clipperton island is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 473-473 | Clipperton island is a geographic subregion of middle america |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3870-3870 | Clipperton island is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 469-469 | Clipperton island is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4113-4113 | Clipperton island has name "Clipperton Island" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15177-15177 | Clipperton island has name "Clipperton Island" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15176-15176 | Clipperton island has name "Clipperton Island" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15175-15175 | Clipperton island has name "Clipperton Island" |
|
|
|