No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 440-440 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 439-439 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 438-438 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14448-14448 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14447-14447 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14446-14446 |
|