No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1607-1607 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1606-1606 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1605-1605 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36089-36089 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36088-36088 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36087-36087 |
|