AlbumCopiesFn
|
|
Sigma KEE - AlbumCopiesFn
appearance as argument number 1
|
|
appearance as argument number 2
|
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2750-2750 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2749-2749 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2748-2748 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 928-928 |
|
antecedent
|
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 316-322 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 936-946 |
|
|