No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2223-2223 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2222-2222 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2221-2221 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51845-51845 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51844-51844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51843-51843 |
|