No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2443-2443 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2442-2442 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2441-2441 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56989-56989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56988-56988 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56987-56987 |
|