albumType - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__albumType__m,s__EnglishLanguage,'"(albumType ?A ?ATTR) means that RecordingAttribute ?ATTR describes the contents of Album ?A"')	Music.kif 288-289
s__domain(s__albumType__m,n__1,s__Album)	Music.kif 292-292	The number 1 argument of album type is an instance of album
s__domain(s__albumType__m,n__2,s__RelationalAttribute)	Music.kif 293-293	The number 2 argument of album type is an instance of relational attribute
s__instance(s__BinaryPredicate,s__Class) s__instance(s__albumType__m,s__BinaryPredicate)	Music.kif 287-287	album type is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__albumType__m,'"%1 是 %2 "')	domainEnglishFormat.kif 2771-2771
s__format(s__ChineseTraditionalLanguage,s__albumType__m,'"%1 是 %2 "')	domainEnglishFormat.kif 2770-2770
s__format(s__EnglishLanguage,s__albumType__m,'"%1 is a %2"')	domainEnglishFormat.kif 2769-2769
s__termFormat(s__EnglishLanguage,s__albumType__m,'"album type"')	Music.kif 290-290

antecedent

( ! [V__A,V__ATTR] :
   (((s__instance(V__A,s__Album) &
         s__instance(V__A,s__Object))
       =>
       (((s__instance(V__ATTR,s__AlbumAttribute) &
             s__albumType(V__A,V__ATTR))
         =>
         (s__attribute(V__A,V__ATTR)))))
)
)

Music.kif 295-299