No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2288-2288 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4284-4284 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4283-4283 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4282-4282 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3486-3486 |
San sebastian spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2287-2287 |
San sebastian spain is an instance of city |