No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 192-192 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 191-191 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 190-190 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8136-8136 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8135-8135 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8134-8134 |
|