No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2199-2199 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2198-2198 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2197-2197 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51659-51659 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51658-51658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51657-51657 |
|