No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1535-1535 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1534-1534 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1533-1533 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34343-34343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34342-34342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34341-34341 |
|