No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 802-802 |
Poland is a capital city of warsaw poland |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 803-803 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4454-4454 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4451-4451 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4452-4452 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4062-4062 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4456-4456 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4455-4455 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4453-4453 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4458-4458 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4450-4450 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4459-4459 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3667-3667 |
Warsaw poland is a geographic subregion of poland |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 801-801 |
Warsaw poland is an instance of european city |