No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1543-1543 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1542-1542 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1541-1541 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34517-34517 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34516-34516 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34515-34515 |
|