No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2307-2307 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2306-2306 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2305-2305 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53392-53392 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53391-53391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53390-53390 |
|