No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2139-2139 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2138-2138 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2137-2137 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49342-49342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49341-49341 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49340-49340 |
|