No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1871-1871 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1870-1870 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1869-1869 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42596-42596 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42595-42595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42594-42594 |
|