No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 660-660 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 659-659 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 658-658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18636-18636 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18635-18635 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18634-18634 |
|