No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1293-1293 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1292-1292 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1291-1291 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29521-29521 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29520-29520 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29519-29519 |
|