No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3934-3934 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3933-3933 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3932-3932 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 191-191 |
|