No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2906-2906 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2905-2905 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2904-2904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11591-11591 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11590-11590 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11589-11589 |
|