No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2475-2475 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2474-2474 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2473-2473 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58526-58526 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58525-58525 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58524-58524 |
|