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 58613-58613 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58612-58612 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58611-58611 |
|