No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1441-1441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4073-4073 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4070-4070 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4074-4074 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4506-4506 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4071-4071 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3969-3969 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4072-4072 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2542-2542 |
Antwerp belgium is a geographic subregion of belgium |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1440-1440 |
Antwerp belgium is an instance of city |