| 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 924-926 | |
| (domain AlbumCopiesFn 1 Album) | Music.kif 929-929 | |
| (domainSubclass AlbumCopiesFn 2 DataStorageDevice) | Music.kif 930-930 | |
| (instance AlbumCopiesFn BinaryFunction) | Music.kif 923-923 | |
| (rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 931-931 |
| 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 927-927 |
| 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 935-945 |
| consequent |
|
|
| (=> (albumRelease ?A ?T) (and (exists (?R1 ?DS1) (releaseForSale (AlbumCopiesFn ?A ?DS1) ?R1 ?T)) (not (exists (?B ?R2 ?DS2) (and (before ?B ?T) (releaseForSale (AlbumCopiesFn ?A ?DS2) ?R2 ?B)))))) |
Music.kif 261-270 | |
| (=> (instance ?D Discography) (exists (?M ?AC) (and (instance ?M CognitiveAgent) (attribute ?M ?AC) (instance ?AC Musician) (forall (?X) (=> (member ?X ?D) (exists (?I ?T ?R ?DS) (and (musician ?X ?M ?I) (releaseForSale (AlbumCopiesFn ?X ?DS) ?R ?T)))))))) |
Music.kif 67-80 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners