No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1285-1285 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1284-1284 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1283-1283 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29449-29449 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29448-29448 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29447-29447 |
|