No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3310-3310 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3309-3309 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3308-3308 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22174-22174 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22173-22173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22172-22172 |
|