No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1447-1447 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1446-1446 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1445-1445 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33427-33427 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33426-33426 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33425-33425 |
|