No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1969-1969 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5303-5303 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5305-5305 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5133-5133 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5304-5304 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5306-5306 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3132-3132 |
geographicSubregion LogronoSpain and Spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1968-1968 |
LogronoSpain e' uma instancia de Cidade |