AlbumCopiesFn |
appearance as argument number 1 |
(documentation AlbumCopiesFn EnglishLanguage "The function (AlbumCopiesFn ?A ?DS) returns a subclass of all DataStorageDevice ?DS that contains all Recording in Album ?A.") | Music.kif 925-927 | |
(domain AlbumCopiesFn 1 Album) | Music.kif 930-930 | Die Zahl 1 Argument von AlbumCopiesFn ist ein fall von Album %n{nicht} |
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) | Music.kif 931-931 | Die Zahl 2 Argument von AlbumCopiesFn ist eine teilkategorie von DataStorageDevice %n{nicht} |
(instance AlbumCopiesFn BinaryFunction) | Music.kif 924-924 | AlbumCopiesFn ist ein fall von BinaryFunction %n{nicht} |
(rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 932-932 | Die werte die AlbumCopiesFn zurueckgibt sind teilkategorien von DataStorageDevice |
appearance as argument number 2 |
(format ChineseLanguage AlbumCopiesFn "%1 在 %2 的 set 复制") | domainEnglishFormat.kif 2750-2750 | |
(format ChineseTraditionalLanguage AlbumCopiesFn "%1 在 %2 的 set 複製") | domainEnglishFormat.kif 2749-2749 | |
(format EnglishLanguage AlbumCopiesFn "the set of copies on %2 of %1") | domainEnglishFormat.kif 2748-2748 | |
(termFormat EnglishLanguage AlbumCopiesFn "album copies function") | Music.kif 928-928 |
antecedent |
consequent |