No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 168-168 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 167-167 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 166-166 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7680-7680 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7679-7679 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7678-7678 |
|