No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1891-1891 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1890-1890 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1889-1889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43748-43748 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43747-43747 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43746-43746 |
|