| CoralSeaIslands(coral sea islands)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3762-3762 | Coral sea islands is a dependent of 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 | Coral sea islands is a geographic subregion of oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3873-3873 | Coral sea islands is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 642-642 | Coral sea islands is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4198-4198 | Coral sea islands has name "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 |
|
|
|