No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3942-3942 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3941-3941 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3940-3940 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 226-226 |
|