No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2135-2135 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2134-2134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2133-2133 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49328-49328 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49327-49327 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49326-49326 |
|