No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1667-1667 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1666-1666 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1665-1665 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36845-36845 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36844-36844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36843-36843 |
|