No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2351-2351 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2350-2350 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2349-2349 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55130-55130 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55129-55129 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55128-55128 |
|