No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2451-2451 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2450-2450 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2449-2449 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57560-57560 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57559-57559 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57558-57558 |
|