No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1353-1353 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1352-1352 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1351-1351 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30343-30343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30342-30342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30341-30341 |
|