No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2487-2487 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2486-2486 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2485-2485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58544-58544 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58543-58543 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58542-58542 |
|