No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1865-1865 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4755-4755 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5052-5052 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5051-5051 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3019-3019 |
geographicSubregion KampalaUganda and Uganda |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1864-1864 |
KampalaUganda e' uma instancia de Cidade |