TreeView Knowledge Base Browser - EntertainmentCompany

appearance as argument number 1

(subclass EntertainmentCompany Business)	Mid-level-ontology.kif 8429-8429	Entertainment company is a subclass of business
(documentation EntertainmentCompany EnglishLanguage "Any Business whose services include Performances. This class covers nightclubs, commercial live theaters, and comedy clubs.")	Mid-level-ontology.kif 8430-8432	Entertainment company is a subclass of business
(externalImage EntertainmentCompany "http://upload.wikimedia.org/wikipedia/ commons/ c/ ca/ New_York_New_Amsterdam_Theatre_2003.jpg")	pictureList.kif 1476-1476	Entertainment company is a subclass of business

appearance as argument number 2

(termFormat EnglishLanguage EntertainmentCompany "entertainment company")	domainEnglishFormat.kif 22201-22201
(termFormat ChineseTraditionalLanguage EntertainmentCompany "娛樂公司")	domainEnglishFormat.kif 22202-22202
(termFormat ChineseLanguage EntertainmentCompany "娱乐公司")	domainEnglishFormat.kif 22203-22203

antecedent

(=>
    (instance ?C EntertainmentCompany)
    (exists (?P)
        (and
            (instance ?P CommercialService)
            (agent ?P ?C)
            (instance ?P Performance))))

If X is an instance of entertainment company, then there exists Y such that Y is an instance of commercial service, X is an agent of Y, and Y is an instance of performance