No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3030-3030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3029-3029 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3028-3028 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15584-15584 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15583-15583 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15582-15582 |
|