No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1753-1753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4141-4141 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4705-4705 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4136-4136 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4139-4139 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4137-4137 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4140-4140 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3980-3980 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4138-4138 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2880-2880 |
Granada spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1752-1752 |
Granada spain is an instance of city |