No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2479-2479 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2478-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2477-2477 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58534-58534 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58533-58533 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58532-58532 |
|