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

s__documentation(s__AlbumCopiesFn__m,s__EnglishLanguage,'"The function (AlbumCopiesFn ?A ?DS) returns a subclass of all DataStorageDevice ?DS that contains all Recording in Album ?A."')	Music.kif 921-923
s__domain(s__AlbumCopiesFn__m,n__1,s__Album)	Music.kif 926-926	The number 1 argument of album copies function is an instance of album
s__domainSubclass(s__AlbumCopiesFn__m,n__2,s__DataStorageDevice)	Music.kif 927-927	The number 2 argument of album copies function is a subclass of DataStorageDevice
s__instance(s__AlbumCopiesFn__m,s__BinaryFunction) s__instance(s__BinaryFunction,s__SetOrClass)	Music.kif 920-920	Album copies function is an instance of binary function
s__rangeSubclass(s__AlbumCopiesFn__m,s__DataStorageDevice)	Music.kif 928-928	The values returned by album copies function are subclasses of DataStorageDevice

appearance as argument number 2

s__format(s__ChineseLanguage,s__AlbumCopiesFn__m,'"%1 在 %2 的 set 复制"')	domainEnglishFormat.kif 2747-2747
s__format(s__ChineseTraditionalLanguage,s__AlbumCopiesFn__m,'"%1 在 %2 的 set 複製"')	domainEnglishFormat.kif 2746-2746
s__format(s__EnglishLanguage,s__AlbumCopiesFn__m,'"the set of copies on %2 of %1"')	domainEnglishFormat.kif 2745-2745
s__termFormat(s__EnglishLanguage,s__AlbumCopiesFn__m,'"album copies function"')	Music.kif 924-924

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 313-319	If an Image is the image on an album and an object is an instance of the set of copies on a kind of DataStorageDevice of the album and a self connected object は the object を contains %n{ない}, then the statement the Image is a part of the front of the self connected object has the modal force of likely
( ! [V__A,V__D,V__X,V__DS] : ((s__instance(V__A,s__Album) & s__subclass(V__D,s__DataStorageDevice) & s__instance(V__D,s__DataStorageDevice) & s__instance(V__D,s__SetOrClass) & s__subclass(V__DS,s__DataStorageDevice)) => ((V__D = s__AlbumCopiesFn(V__A,V__DS)) & s__instance(V__X,V__D)) => ( ! [V__S] : (s__instance(V__S,s__Object) => s__inList(V__S,V__A) => ( ? [V__C] : ((s__instance(V__C,s__ContentBearingObject) & (s__copy(V__C,V__S) & s__stored(V__C,V__D))))))) ) )	Music.kif 930-940	If a kind of DataStorageDevice is equal to the set of copies on a kind of DataStorageDeviceS of an album and an entity is an instance of the kind of DataStorageDevice, 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 kind of DataStorageDevice

consequent

( ! [V__A,V__T] : ((s__instance(V__A,s__Album) & s__instance(V__T,s__TimePoint)) => s__albumRelease(V__A,V__T) => (( ? [V__R1, V__DS1] : ((s__instance(V__R1,s__GeographicArea) & s__subclass(V__DS1,s__DataStorageDevice) & s__releaseForSale(s__AlbumCopiesFn(V__A,V__DS1) ,V__R1,V__T)))) & ~(( ? [V__B, V__R2, V__DS2] : ((s__instance(V__B,s__TimePoint) & s__instance(V__R2,s__GeographicArea) & s__subclass(V__DS2,s__DataStorageDevice) & (s__before(V__B,V__T) & s__releaseForSale(s__AlbumCopiesFn(V__A,V__DS2) ,V__R2,V__B))))))) ) )	Music.kif 258-267	If an album was released on a time point, then there exist a geographic area and a kind of DataStorageDevice such that the set of copies on a kind of DataStorageDevice 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 DataStorageDevice such that the other time point happens before the time point and the set of copies on another kind of DataStorageDevice of the album was released for sale in the other geographic area at the other time point
( ! [V__D] : (s__instance(V__D,s__Discography) => ( ? [V__M, V__AC] : ((s__instance(V__M,s__CognitiveAgent) & s__attribute(V__M,V__AC) & s__instance(V__AC,s__Musician) & ( ! [V__X] : ((s__instance(V__X,s__Album) & s__instance(V__X,s__MusicRecording)) => s__member(V__X,V__D) => ( ? [V__I, V__T, V__R, V__DS] : ((s__subclass(V__I,s__MakingMusic) & s__instance(V__R,s__GeographicArea) & s__subclass(V__DS,s__DataStorageDevice) & (s__musician(V__X,V__M,V__I) & s__releaseForSale(s__AlbumCopiesFn(V__X,V__DS) ,V__R,V__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, an entity,, , 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 entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners