No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1591-1591 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1590-1590 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1589-1589 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65867-65867 |
|