No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2347-2347 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2346-2346 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2345-2345 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55092-55092 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55091-55091 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55090-55090 |
|