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 |
Lile rousse france is a geographic subregion of france |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1934-1934 |
Lile rousse france is an instance of city |