TreeView Knowledge Base Browser

appearance as argument number 1

(documentation albumType EnglishLanguage "(albumType ?A ?ATTR) means that RecordingAttribute ?ATTR describes the contents of Album ?A")	Music.kif 290-291
(domain albumType 1 Album)	Music.kif 294-294
(domain albumType 2 RelationalAttribute)	Music.kif 295-295
(instance albumType BinaryPredicate)	Music.kif 289-289

appearance as argument number 2

(format ChineseLanguage albumType "%1 是 %2 ")	domainEnglishFormat.kif 2770-2770
(format ChineseTraditionalLanguage albumType "%1 是 %2 ")	domainEnglishFormat.kif 2769-2769
(format EnglishLanguage albumType "%1 is a %2")	domainEnglishFormat.kif 2768-2768
(termFormat EnglishLanguage albumType "album type")	Music.kif 292-292

antecedent

(=>
    (and
        (instance ?ATTR AlbumAttribute)
        (albumType ?A ?ATTR))
    (attribute ?A ?ATTR))

Music.kif 297-301