ClippertonIsland
|
|
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 | |
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 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 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 |