No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2475-2475 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5199-5199 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5590-5590 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3696-3696 |
geographicSubregion ZamboangaPhilippines and Philippines |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2474-2474 |
ZamboangaPhilippines e' uma instancia de Cidade |