Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DramaticActing
DramaticActing(dramatic acting)act, acting, be, character, embody, parody, part, performing, persona, personify, play, playacting, playing, present, reenactment, represent, role, stage, theatrical_role

VerbNet: performance-26.7|play, performance-26.7|play, create-26.4|stage, performance-26.7|play, create-26.4|stage,


appearance as argument number 1
-------------------------


(documentation DramaticActing EnglishLanguage "Playing a character in a Performance, MotionPicture, etc.") Mid-level-ontology.kif 13606-13607
(subclass DramaticActing Pretending) Mid-level-ontology.kif 13605-13605 Dramatic acting is a subclass of pretending

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage DramaticActing "戏剧表演") domainEnglishFormat.kif 20239-20239
(termFormat ChineseTraditionalLanguage DramaticActing "戲劇表演") domainEnglishFormat.kif 20238-20238
(termFormat EnglishLanguage DramaticActing "dramatic acting") domainEnglishFormat.kif 20237-20237

antecedent
-------------------------


(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 18417-18424
(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))
Biography.kif 518-537

consequent
-------------------------


(=>
    (actedIn ?ACTOR ?O)
    (exists (?PERF)
        (and
            (instance ?PERF DramaticActing)
            (patient ?PERF ?ACTOR)
            (result ?PERF ?O))))
Mid-level-ontology.kif 18409-18415
(=>
    (and
        (instance ?DIRECT DramaticDirecting)
        (patient ?DIRECT ?ACT))
    (instance ?ACT DramaticActing))
Mid-level-ontology.kif 16219-16223
(=>
    (and
        (instance ?P DramaticPerformance)
        (subProcess ?A ?P))
    (instance ?A DramaticActing))
Mid-level-ontology.kif 13613-13617
(=>
    (attribute ?PERSON Actor)
    (hasSkill DramaticActing ?PERSON))
Mid-level-ontology.kif 16483-16485
(=>
    (instance ?CAST DramaticCast)
    (exists (?TEXT ?PROP ?PROC)
        (and
            (instance ?TEXT FictionalText)
            (containsInformation ?TEXT ?PROP)
            (realization ?PROC ?PROP)
            (forall (?MEMBER)
                (=>
                    (member ?MEMBER ?CAST)
                    (exists (?SUB)
                        (and
                            (instance ?SUB DramaticActing)
                            (agent ?SUB ?MEMBER)
                            (subProcess ?SUB ?PROC))))))))
Mid-level-ontology.kif 13623-13637
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))
Mid-level-ontology.kif 13507-13514
(=>
    (instance ?PLAY DramaticPlay)
    (hasPurpose ?PLAY
        (exists (?ACT ?PROP)
            (and
                (instance ?ACT DramaticActing)
                (containsInformation ?PLAY ?PROP)
                (realization ?ACT ?PROP)))))
Mid-level-ontology.kif 12657-12663


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners