No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2243-2243 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2242-2242 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2241-2241 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51879-51879 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51878-51878 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51877-51877 |
|