No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1851-1851 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1850-1850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1849-1849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42426-42426 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42425-42425 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42424-42424 |
|