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 42042-42042 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42041-42041 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42040-42040 |
|