No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1505-1505 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5710-5710 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5598-5598 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2604-2604 |
geographicSubregion BanguiCentralAfricanRepublic and CentralAfricanRepublic |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1504-1504 |
BanguiCentralAfricanRepublic e' uma instancia de Cidade |