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 58724-58724 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58723-58723 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58722-58722 |
|