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 49340-49340 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49339-49339 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49338-49338 |
|