No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 404-404 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 403-403 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 402-402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13758-13758 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13757-13757 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13756-13756 |
|