Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlbumCopiesFn

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 927-929
(domain AlbumCopiesFn 1 Album) Music.kif 932-932 AlbumCopiesFn 的 1 数量 是 Albuminstance
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 933-933 AlbumCopiesFn 的 2 数量 是 DataStorageDevicesubclass
(instance AlbumCopiesFn BinaryFunction) Music.kif 926-926 AlbumCopiesFn二元函数instance
(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 934-934 AlbumCopiesFn 的所得值 是 DataStorageDevicesubclass

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


(format EnglishLanguage AlbumCopiesFn "the set of copies on %2 of %1") domainEnglishFormat.kif 696-696
(termFormat EnglishLanguage AlbumCopiesFn "album copies function") Music.kif 930-930 termFormat EnglishLanguage, AlbumCopiesFn and "album copies function"

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


(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))
Music.kif 319-325
(=>
    (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 936-946

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 255-264
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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