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 | O argumento numero 1 de AlbumCopiesFn e' uma instancia de Album |
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) | Music.kif 931-931 | O argumento numero 2 de AlbumCopiesFn e' uma sub-classe de DataStorageDevice |
(instance AlbumCopiesFn BinaryFunction) | Music.kif 924-924 | AlbumCopiesFn e' uma instancia de Funcao Binaria |
(rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 932-932 | Os valores retornados por AlbumCopiesFn sao as sub-classes de 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 |
(=> (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 |