No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2407-2407 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2406-2406 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2405-2405 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55933-55933 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55932-55932 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55931-55931 |
|