No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2587-2587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2586-2586 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2585-2585 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61574-61574 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61573-61573 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61572-61572 |
|