|
|
  CoralSeaIslands
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3762-3762 | dependentGeopoliticalArea CoralSeaIslands and Australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3763-3763 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 368-368 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 665-665 | geographicSubregion CoralSeaIslands and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3873-3873 | CoralSeaIslands est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 642-642 | CoralSeaIslands 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 4198-4198 | CoralSeaIslands s'appele nom "Coral Sea Islands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17334-17334 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17333-17333 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17332-17332 |
|
|
|
