No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1899-1899 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1898-1898 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1897-1897 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44388-44388 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44387-44387 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44386-44386 |
|