No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2611-2611 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2610-2610 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2609-2609 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62217-62217 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62216-62216 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62215-62215 |
|