No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2403-2403 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2402-2402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2401-2401 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55905-55905 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55904-55904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55903-55903 |
|