No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3766-3766 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3765-3765 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3764-3764 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34637-34637 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34636-34636 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34635-34635 |
|