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 | AlbumCopiesFn の数値 1 引数は Album の instance では %n |
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) | Music.kif 931-931 | AlbumCopiesFn の数値 2 引数は DataStorageDevice のsubclass では %n |
(instance AlbumCopiesFn BinaryFunction) | Music.kif 924-924 | AlbumCopiesFn は 2変数関数 の instance では %n |
(rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 932-932 | AlbumCopiesFn が返す値は DataStorageDevice の subclasses では %n |
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 |
(=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 316-322 |
|
(=> (and (equal ?D (AlbumCopiesFn ?A ?DS)) (instance ?X ?D)) (forall (?S) (=> (inList ?S ?A) (exists (?C) (and (copy ?C ?S) (stored ?C ?X)))))) |
Music.kif 936-946 |
|
consequent |