No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1583-1583 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1582-1582 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1581-1581 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35159-35159 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35158-35158 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35157-35157 |
|