TreeView Knowledge Base Browser

appearance as argument number 1

(documentation recordingCompany EnglishLanguage "(recordingCompany ?R ?C) means that RecordCompany ?C is responsible for the distribution and production of Recording ?R.")	Music.kif 127-128
(domain recordingCompany 1 Recording)	Music.kif 131-131
(domain recordingCompany 2 Organization)	Music.kif 132-132
(instance recordingCompany BinaryPredicate)	Music.kif 126-126

appearance as argument number 2

(format ChineseLanguage recordingCompany "%2 produces %1 ")	domainEnglishFormat.kif 4354-4354
(format ChineseTraditionalLanguage recordingCompany "%2 produces %1 ")	domainEnglishFormat.kif 4353-4353
(format EnglishLanguage recordingCompany "%2 produces %1")	domainEnglishFormat.kif 4352-4352
(termFormat EnglishLanguage recordingCompany "recording company")	Music.kif 129-129

consequent

(=>
    (attribute ?MR IndieMusic)
    (modalAttribute
        (not
            (exists (?R)
                (recordingCompany ?MR ?R))) Likely))

Music.kif 741-746