No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4774-4774 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4773-4773 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4772-4772 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57872-57872 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57871-57871 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57870-57870 |
|