| ChristmasIsland(christmas island)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3754-3754 | Christmas island is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3755-3755 | Christmas island is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 342-342 | Christmas island is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 606-606 | Christmas island is a geographic subregion of southeastern asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3869-3869 | Christmas island is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 593-593 | Christmas 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 4175-4175 | Christmas island has name "Christmas Island" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14757-14757 | Christmas island has name "Christmas Island" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14756-14756 | Christmas island has name "Christmas Island" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14755-14755 | Christmas island has name "Christmas Island" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2851-2851 | "CX" in ISO_3166_1_alpha_2 denotes christmas island |
|
|
|