No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2163-2163 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2162-2162 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2161-2161 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50092-50092 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50091-50091 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50090-50090 |
|