No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1507-1507 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4075-4075 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3970-3970 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4077-4077 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4087-4087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4081-4081 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4532-4532 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4078-4078 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4085-4085 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4083-4083 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4082-4082 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4080-4080 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4079-4079 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2606-2606 |
geographicSubregion BarcelonaSpain and Spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1506-1506 |
BarcelonaSpain e' uma instancia de Cidade |