No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2630-2630 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2629-2629 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2628-2628 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63135-63135 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63134-63134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63133-63133 |
|