No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2507-2507 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2506-2506 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2505-2505 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58580-58580 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58579-58579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58578-58578 |
|