No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3598-3598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3597-3597 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3596-3596 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27450-27450 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27449-27449 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27448-27448 |
|