No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1237-1237 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1236-1236 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1235-1235 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29277-29277 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29276-29276 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29275-29275 |
|