No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1499-1499 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1498-1498 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1497-1497 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34007-34007 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34006-34006 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34005-34005 |
|