| FrenchSouthernAndAntarcticLands
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3774-3774 | dependentGeopoliticalArea FrenchSouthernAndAntarcticLands and 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 | FrenchSouthernAndAntarcticLands est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 587-587 | FrenchSouthernAndAntarcticLands est une instance de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 588-588 | FrenchSouthernAndAntarcticLands est situ� � DirectionalSubregionFn South and IndianOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 586-586 | FrenchSouthernAndAntarcticLands est situ� � IndianOcean |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4170-4170 | FrenchSouthernAndAntarcticLands s'appele nom "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 | codeMapping ISO-3166-1-alpha-2, "TF" and FrenchSouthernAndAntarcticLands |
|
|
|