Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AlbumCopiesFn |
| appearance as argument number 1 |
|
| (instance AlbumCopiesFn BinaryFunction) | Music.kif 926-926 | Album copies function is an instance of binary function |
| (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 | Album copies function is an instance of binary function |
| (domain AlbumCopiesFn 1 Album) | Music.kif 932-932 | The number 1 argument of album copies function is an instance of album |
| (domainSubclass AlbumCopiesFn 2 DataStorageDevice) | Music.kif 933-933 | The number 2 argument of album copies function is a subclass of data storage device |
| (rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 934-934 | The values returned by album copies function are subclasses of data storage device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AlbumCopiesFn "album copies function") | Music.kif 930-930 | |
| (format EnglishLanguage AlbumCopiesFn "the set of copies on %2 of %1") | domainEnglishFormat.kif 2744-2744 | |
| (format ChineseTraditionalLanguage AlbumCopiesFn "%1 在 %2 的 set 複製") | domainEnglishFormat.kif 2745-2745 | |
| (format ChineseLanguage AlbumCopiesFn "%1 在 %2 的 set 复制") | domainEnglishFormat.kif 2746-2746 |
| antecedent |
|
|
| (=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 316-322 | If X is the image on Y, Z is an instance of the set of copies on W of Y, and V contains Z, then the statement X is a part of the front of V 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) (dataStored ?C ?X)))))) |
Music.kif 938-948 | If equal X and the set of copies on Y of Z and W is an instance of X, then For all Object V: if V is a member of Z, then there exists U such that U is a copy of V and W is stored on U |
| consequent |
|
|
| (=> (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 X is an instance of discography, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) Z is an attribute of Y (4) Z is an instance of musician (5) W W is a member of Xthere exist V, U,, , T (6) S such that Y plays V in W (7) the set of copies on S of W was released for sale in T at U |
| (=> (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 X was released on Y, then there exist Z and W such that the set of copies on W of X was released for sale in Z at Y and there don't exist V, U, T such that V happens before Y, and the set of copies on T of X was released for sale in U at V |
|