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 53390-53390 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53389-53389 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53388-53388 |
|