No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4354-4354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4353-4353 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4352-4352 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 129-129 |
|