No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 240-240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 239-239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 238-238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9360-9360 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9359-9359 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9358-9358 |
|