No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2615-2615 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2614-2614 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2613-2613 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62337-62337 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62336-62336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62335-62335 |
|