No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1801-1801 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5623-5623 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5738-5738 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2935-2935 |
Huallga peru is a geographic subregion of peru |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1800-1800 |
Huallga peru is an instance of city |