No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4010-4010 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4009-4009 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4008-4008 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65890-65890 |
|