No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1787-1787 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1786-1786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1785-1785 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39903-39903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39902-39902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39901-39901 |
|