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 921-923
(domain AlbumCopiesFn 1 Album) Music.kif 926-926 domain AlbumCopiesFn, 1 and Album
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 927-927 domainSubclass AlbumCopiesFn, 2 and DataStorageDevice
(instance AlbumCopiesFn BinaryFunction) Music.kif 920-920 instance AlbumCopiesFn and BinaryFunction
(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 928-928 rangeSubclass AlbumCopiesFn and DataStorageDevice

appearance as argument number 2
-------------------------


(format ChineseLanguage AlbumCopiesFn "%1 在 %2 的 set 复制") domainEnglishFormat.kif 2747-2747
(format ChineseTraditionalLanguage AlbumCopiesFn "%1 在 %2 的 set 複製") domainEnglishFormat.kif 2746-2746
(format EnglishLanguage AlbumCopiesFn "the set of copies on %2 of %1") domainEnglishFormat.kif 2745-2745
(termFormat EnglishLanguage AlbumCopiesFn "album copies function") Music.kif 924-924

antecedent
-------------------------


(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))		 Music.kif 313-319
(=>
    (and
        (equal ?D
            (AlbumCopiesFn ?A ?DS))
        (instance ?X ?D))
    (forall (?S)
        (=>
            (inList ?S ?A)
            (exists (?C)
                (and
                    (copy ?C ?S)
                    (stored ?C ?D))))))		 Music.kif 930-940

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