No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1863-1863 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1862-1862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1861-1861 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42564-42564 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42563-42563 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42562-42562 |
|