No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4874-4874 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4873-4873 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4872-4872 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60442-60442 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60441-60441 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60440-60440 |
|