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 51867-51867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51866-51866 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51865-51865 |
|