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 | Il numero 1 argomenti di albumCoverImage è un istanza di Album |
(domain albumCoverImage 2 Image) | Music.kif 310-310 | Il numero 2 argomenti di albumCoverImage è un istanza di Image |
(instance albumCoverImage BinaryPredicate) | Music.kif 303-303 | albumCoverImage è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage albumCoverImage "%2 是在 %1 的 image ") | domainEnglishFormat.kif 2754-2754 | |
(format ChineseTraditionalLanguage albumCoverImage "%2 是在 %1 的 image ") | domainEnglishFormat.kif 2753-2753 | |
(format EnglishLanguage albumCoverImage "%2 is the image on %1") | domainEnglishFormat.kif 2752-2752 | |
(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 |
|