No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2603-2603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2602-2602 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2601-2601 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61965-61965 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61964-61964 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61963-61963 |
|