albumCoverImage |
appearance as argument number 1 |
(documentation albumCoverImage EnglishLanguage "(albumCoverImage ?A ?I) means that Album ?A is represented by Image ?I. When a DataStorageDevice containing Album ?A, its container would normally have the image on its front.") | Music.kif 304-306 | |
(domain albumCoverImage 1 Album) | Music.kif 309-309 | The number 1 argument of album cover is an instance of album |
(domain albumCoverImage 2 Image) | Music.kif 310-310 | The number 2 argument of album cover is an instance of image |
(instance albumCoverImage BinaryPredicate) | Music.kif 303-303 | album cover is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage albumCoverImage "%2 是在 %1 的 image ") | domainEnglishFormat.kif 2746-2746 | |
(format ChineseTraditionalLanguage albumCoverImage "%2 是在 %1 的 image ") | domainEnglishFormat.kif 2745-2745 | |
(format EnglishLanguage albumCoverImage "%2 is the image on %1") | domainEnglishFormat.kif 2744-2744 | |
(termFormat EnglishLanguage albumCoverImage "album cover") | Music.kif 307-307 |
antecedent |
(=> (albumCoverImage ?A ?I) (represents ?I ?A)) |
Music.kif 312-314 | |
(=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 316-322 |
|