No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1671-1671 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1670-1670 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1669-1669 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36887-36887 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36886-36886 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36885-36885 |
|