No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4494-4494 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4493-4493 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4492-4492 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52125-52125 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52124-52124 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52123-52123 |
|