No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4514-4514 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4513-4513 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4512-4512 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52431-52431 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52430-52430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52429-52429 |
|