JuanDeNovaIsland
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3803-3803 | Juan de nova island is a dependent of 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 | Juan de nova island is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3894-3894 | Juan de nova island is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 145-145 | Juan de nova island is an instance of island |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 146-146 | Juan de nova island meets indian ocean |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3963-3963 | Juan de nova island has name "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 |