No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2147-2147 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2146-2146 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2145-2145 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49526-49526 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49525-49525 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49524-49524 |
|