No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1563-1563 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1562-1562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1561-1561 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34853-34853 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34852-34852 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34851-34851 |
|