No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2532-2532 |
Andean spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2606-2606 |
Barcelona spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2618-2618 |
Beasain spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2653-2653 |
Bilbao spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2655-2655 |
Billabona spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2773-2773 |
Deba spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2804-2804 |
Durango spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2851-2851 |
Fuengirola spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2865-2865 |
Getxo spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2880-2880 |
Granada spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2921-2921 |
Hernani spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3111-3111 |
Lasarte spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3113-3113 |
Leiza spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3132-3132 |
Logrono spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3166-3166 |
Madrid spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3174-3174 |
Malaga spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3373-3373 |
Pamplona spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3429-3429 |
Reus spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3446-3446 |
Rosas spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3462-3462 |
Saint sebastian spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3470-3470 |
Sallent de gallego spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3486-3486 |
San sebastian spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3494-3494 |
Santa pola spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3511-3511 |
Seville spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3605-3605 |
Tolosa spain is a geographic subregion of spain |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |