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 14464-14464 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14463-14463 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14462-14462 |
|