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 58528-58528 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58527-58527 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58526-58526 |
|