No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2339-2339 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2338-2338 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2337-2337 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55070-55070 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55069-55069 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55068-55068 |
|