JuanDeNovaIsland
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3803-3803 | dependentGeopoliticalArea JuanDeNovaIsland and France |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3804-3804 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 532-532 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 163-163 | geographicSubregion JuanDeNovaIsland and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3894-3894 | JuanDeNovaIsland est une instance de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 145-145 | JuanDeNovaIsland est une instance de �le |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 146-146 | JuanDeNovaIsland rencontre IndianOcean |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3963-3963 | JuanDeNovaIsland s'appele nom "Juan de Nova Island" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31801-31801 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31800-31800 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31799-31799 |