AlbumCopiesFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AlbumCopiesFn

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	The number 1 argument of album copies function is an instance of album
(domainSubclass AlbumCopiesFn 2 DataStorageDevice)	Music.kif 931-931	The number 2 argument of album copies function is a subclass of data storage device
(instance AlbumCopiesFn BinaryFunction)	Music.kif 924-924	Album copies function is an instance of binary function
(rangeSubclass AlbumCopiesFn DataStorageDevice)	Music.kif 932-932	The values returned by album copies function are subclasses of data storage device

appearance as argument number 2

(format ChineseLanguage AlbumCopiesFn "%1 在 %2 的 set 复制")	domainEnglishFormat.kif 2742-2742
(format ChineseTraditionalLanguage AlbumCopiesFn "%1 在 %2 的 set 複製")	domainEnglishFormat.kif 2741-2741
(format EnglishLanguage AlbumCopiesFn "the set of copies on %2 of %1")	domainEnglishFormat.kif 2740-2740
(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	If an image is the image on an album and an object is an instance of the set of copies on a kind of data storage device of the album and a self connected object contains the object, then the statement the image is a part of the front of the self connected object has the modal force of likely
(=> (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	If a kind of data storage device is equal to the set of copies on a kind of data storage deviceS of an album and a third data storage device is an instance of the kind of data storage device, then for all an object if the object is a member of the album, then there exists a content bearing object such that the content bearing object is a copy of the object and the content bearing object is stored on the third data storage device

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	If an album was released on a time point, then there exist a geographic area and a kind of data storage device such that the set of copies on a kind of data storage device of the album was released for sale in the geographic area at the time point and there don't exist another time point, another geographic area and another kind of data storage device such that the other time point happens before the time point and the set of copies on another kind of data storage device of the album was released for sale in the other geographic area at the other time point
(=> (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	If a collection is an instance of discography, then there exist a human and an attribute such that the human is an instance of cognitive agent and the attribute is an attribute of the human and the attribute is an instance of musician and for all an album if the album is a member of the collection, then there exist a kind of making music, a time point,, , a geographic area and the collectionS such that the human performed the album and the set of copies on the collectionS of the album was released for sale in the geographic area at the time point

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