No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1233-1233 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1232-1232 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1231-1231 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29271-29271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29270-29270 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29269-29269 |
|