No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2005-2005 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4166-4166 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4165-4165 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4167-4167 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3986-3986 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4168-4168 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4169-4169 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3174-3174 |
geographicSubregion MalagaSpain and Spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2004-2004 |
MalagaSpain e' uma instancia de Cidade |