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 58571-58571 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58570-58570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58569-58569 |
|