No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 588-588 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 587-587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 586-586 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17850-17850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17849-17849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17848-17848 |
|