| 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 | French southern and antarctic lands is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 448-448 | French southern and antarctic lands is a dependent of france |
| 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 25032-25032 | 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 25031-25031 | 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 25030-25030 | French southern and antarctic lands has name "French Southern and Antarctic Lands" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2858-2858 | "TF" in ISO_3166_1_alpha_2 denotes french southern and antarctic lands |
|
|
|