No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1443-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5698-5698 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5595-5595 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2544-2544 |
Apumirac peru is a geographic subregion of peru |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1442-1442 |
Apumirac peru is an instance of city |