No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2315-2315 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2314-2314 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2313-2313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53410-53410 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53409-53409 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53408-53408 |
|