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 61967-61967 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61966-61966 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61965-61965 |
|