No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1635-1635 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5114-5114 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5231-5231 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5232-5232 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2744-2744 |
Comayagua honduras is a geographic subregion of honduras |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1634-1634 |
Comayagua honduras is an instance of city |