No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1615-1615 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1614-1614 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1613-1613 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36167-36167 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36166-36166 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36165-36165 |
|