No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2239-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2238-2238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2237-2237 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51869-51869 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51868-51868 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51867-51867 |
|