No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1221-1221 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1220-1220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1219-1219 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29187-29187 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29186-29186 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29185-29185 |
|