No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1639-1639 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4117-4117 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4118-4118 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4115-4115 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4116-4116 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3975-3975 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4114-4114 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2750-2750 |
geographicSubregion CorsicaFrance and France |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1638-1638 |
CorsicaFrance e' uma instancia de Cidade |