No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2335-2335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2334-2334 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2333-2333 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54894-54894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54893-54893 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54892-54892 |
|