|
|
  BassasDaIndia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3736-3736 | dependentGeopoliticalArea BassasDaIndia and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3737-3737 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 264-264 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 154-154 | geographicSubregion BassasDaIndia and SouthernAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3863-3863 | BassasDaIndia e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 135-135 | BassasDaIndia e' uma instancia de Ilha |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 136-136 | BassasDaIndia encontra IndianOcean |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3956-3956 | BassasDaIndia se chama nome "Bassas da India" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10152-10152 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10151-10151 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10150-10150 |
|
|
|
