No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2519-2519 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2518-2518 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2517-2517 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58606-58606 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58605-58605 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58604-58604 |
|