No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2571-2571 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2570-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2569-2569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59918-59918 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59917-59917 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59916-59916 |
|