No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1567-1567 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1566-1566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1565-1565 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34865-34865 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34864-34864 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34863-34863 |
|