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 e' uma instancia de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 145-145 | JuanDeNovaIsland e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 146-146 | JuanDeNovaIsland encontra IndianOcean |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3963-3963 | JuanDeNovaIsland se chama nome "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 |