No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1507-1507 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1506-1506 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1505-1505 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34019-34019 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34018-34018 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34017-34017 |
|