TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage recordingCompany "recording company")	Music.kif 129-129
(format EnglishLanguage recordingCompany "%2 produces %1")	domainEnglishFormat.kif 4356-4356
(format ChineseTraditionalLanguage recordingCompany "%2 produces %1 ")	domainEnglishFormat.kif 4357-4357
(format ChineseLanguage recordingCompany "%2 produces %1 ")	domainEnglishFormat.kif 4358-4358

consequent

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

If indie music is an attribute of X, then the statement there doesn't exist Y such that Y produces X has the modal force of likely