No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 848-849 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3314-3314 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3464-3464 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3463-3463 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 847-847 |
Czechoslovakia is an instance of european nation |