No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 84-84 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 83-83 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 82-82 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5904-5904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5903-5903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5902-5902 |
|