No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1635-1635 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1634-1634 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1633-1633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36245-36245 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36244-36244 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36243-36243 |
|