No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3994-3994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3993-3993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3992-3992 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65886-65886 |
|