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 63137-63137 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63136-63136 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63135-63135 |
|