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 |
Harer ethiopia is a geographic subregion of ethiopia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1780-1780 |
Harer ethiopia is an instance of city |