No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1855-1855 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1854-1854 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1853-1853 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42456-42456 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42455-42455 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42454-42454 |
|