No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 939-939 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 938-938 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 937-937 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22810-22810 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22809-22809 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22808-22808 |
|