No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1337-1337 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1336-1336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1335-1335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30007-30007 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30006-30006 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30005-30005 |
|