No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1997-1997 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4161-4161 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4157-4157 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4156-4156 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4163-4163 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4162-4162 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4158-4158 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4159-4159 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3985-3985 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4160-4160 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4164-4164 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3166-3166 |
geographicSubregion MadridSpain and Spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1996-1996 |
MadridSpain e' uma instancia de Cidade |