Comedian - Sigma Knowledge base Browser

appearance as argument number 1

(instance Comedian EntertainmentProfession)	Mid-level-ontology.kif 20728-20728	Comedian is an instance of entertainment profession
(documentation Comedian EnglishLanguage "Positions which involve performing stand-up comedy, which is recorded and/ or performed in front of live audiences.")	Mid-level-ontology.kif 20729-20730	Comedian is an instance of entertainment profession

appearance as argument number 2

(termFormat EnglishLanguage Comedian "comedian")	domainEnglishFormat.kif 15744-15744
(termFormat ChineseTraditionalLanguage Comedian "喜劇演員")	domainEnglishFormat.kif 15745-15745
(termFormat ChineseLanguage Comedian "喜剧演员")	domainEnglishFormat.kif 15746-15746

antecedent

(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PERF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))

If comedian is an attribute of X, then there exist Y, Z such that Y is an instance of performance, X is an agent of Y, Z is an instance of laughing, and Y causes Z