No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2499-2499 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2498-2498 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2497-2497 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58564-58564 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58563-58563 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58562-58562 |
|