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 55094-55094 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55093-55093 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55092-55092 |
|