No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 668-668 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 667-667 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 666-666 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18666-18666 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18665-18665 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18664-18664 |
|