No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2367-2367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2366-2366 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2365-2365 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55442-55442 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55441-55441 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55440-55440 |
|