No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2746-2746 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2745-2745 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2744-2744 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 275-275 |
|