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 923-925
(domain AlbumCopiesFn 1 Album) Music.kif 928-928 AlbumCopiesFn 的 1 数量 是 Albuminstance
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 929-929 AlbumCopiesFn 的 2 数量 是 DataStorageDevicesubclass
(instance AlbumCopiesFn BinaryFunction) Music.kif 922-922 AlbumCopiesFn二元函数instance
(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 930-930 AlbumCopiesFn 的所得值 是 DataStorageDevicesubclass

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 926-926

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


(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))
Music.kif 315-321
(=>
    (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 934-944

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 260-269
(=>
    (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