No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4358-4358 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4357-4357 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4356-4356 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 111-111 |
|