No TPTP formula. May not be expressible in strict first order. |
Music.kif 925-927 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 930-930 |
Le nombre 1 argument de AlbumCopiesFn est une instance de Album |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 931-931 |
Le nombre 2 argument de AlbumCopiesFn est une sous-classe de DataStorageDevice |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 924-924 |
AlbumCopiesFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 932-932 |
Les valeurs retourn�es par AlbumCopiesFn sont des sous-classes de DataStorageDevice |