No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2231-2231 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2230-2230 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2229-2229 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51855-51855 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51854-51854 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51853-51853 |
|