No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 802-802 |
capitalCity WarsawPoland and 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 |
geographicSubregion WarsawPoland and Poland |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 801-801 |
WarsawPoland e' uma instancia de EuropeanCity |