No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2264-2264 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4280-4280 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4281-4281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4277-4277 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4279-4279 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4278-4278 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3462-3462 |
geographicSubregion SaintSebastianSpain and Spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2263-2263 |
SaintSebastianSpain e' uma instancia de Cidade |