No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1831-1831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1830-1830 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1829-1829 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42044-42044 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42043-42043 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42042-42042 |
|