No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2527-2527 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2526-2526 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2525-2525 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58726-58726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58725-58725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58724-58724 |
|