No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 780-780 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 779-779 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 778-778 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19756-19756 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19755-19755 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19754-19754 |
|