No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1771-1771 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3515-3515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3331-3331 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3514-3514 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3511-3511 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3510-3510 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3513-3513 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3512-3512 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2899-2899 |
Hamburg germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1770-1770 |
Hamburg germany is an instance of city |