No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2495-2495 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2494-2494 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2493-2493 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58556-58556 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58555-58555 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58554-58554 |
|