No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2238-2238 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5465-5465 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5165-5165 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5466-5466 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3429-3429 |
Reus spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2237-2237 |
Reus spain is an instance of city |