No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2079-2079 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2078-2078 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2077-2077 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48158-48158 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48157-48157 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48156-48156 |
|