No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1781-1781 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5257-5257 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5121-5121 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2909-2909 |
geographicSubregion HarerEthiopia and Ethiopia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1780-1780 |
HarerEthiopia e' uma instancia de Cidade |