No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2365-2365 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5526-5526 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5527-5527 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5528-5528 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3572-3572 |
Tegucigalpa honduras is a geographic subregion of honduras |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2364-2364 |
Tegucigalpa honduras is an instance of city |