No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1935-1935 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3982-3982 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4145-4145 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4143-4143 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4144-4144 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3122-3122 |
geographicSubregion LIleRousseFrance and France |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1934-1934 |
LIleRousseFrance est une instance de ville |