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 58604-58604 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58603-58603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58602-58602 |
|