No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1551-1551 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4093-4093 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4550-4550 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4095-4095 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4092-4092 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4091-4091 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4094-4094 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4089-4089 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3971-3971 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2653-2653 |
geographicSubregion BilbaoSpain and Spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1550-1550 |
BilbaoSpain e' uma instancia de Cidade |