FrenchSouthernAndAntarcticLands(french southern and antarctic lands) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3774-3774 | French southern and antarctic lands is a dependent of france |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3775-3775 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 448-448 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3879-3879 | French southern and antarctic lands is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 587-587 | French southern and antarctic lands is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 588-588 | French southern and antarctic lands is located at the directional subregion of south and indian ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 586-586 | French southern and antarctic lands is located at indian ocean |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4170-4170 | French southern and antarctic lands has name "French Southern and Antarctic Lands" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25004-25004 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25003-25003 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25002-25002 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2856-2856 | "TF" in ISO-3166-1-alpha-2 denotes french southern and antarctic lands |