|
|
  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 e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 469-469 | ClippertonIsland e' uma instancia de Area terrestre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4113-4113 | ClippertonIsland se chama nome "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 |
|
|
|
