Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  DramaticActing

 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

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


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

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


(termFormat EnglishLanguage DramaticActing "dramatic acting") domainEnglishFormat.kif 20316-20316
(termFormat ChineseTraditionalLanguage DramaticActing "戲劇表演") domainEnglishFormat.kif 20317-20317
(termFormat ChineseLanguage DramaticActing "戏剧表演") domainEnglishFormat.kif 20318-20318

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


(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))		 Mid-level-ontology.kif 23002-23009 If X acted in Y., Z is an instance of dramatic acting, X is a patient of Z, and Y is a result of Z, then actor is an attribute of X holds during the time of existence of Z
(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S ?VIEWER)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H ?VIEWER)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))		 Biography.kif 760-779 If All of the following hold: (1) voice actor is an attribute of X (2) Y is an instance of dramatic acting (3) X is an agent of Y (4) Z is an instance of linguistic communication (5) X is an agent of Z (6) Z is a subprocess of Y, then there don't exist W, V such that W is an instance of seeing, X is a patient of W, and V is an agent of W and there exist U, V such that U is an instance of hearing, X is a patient of U, and V is an agent of U

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


(=>
    (instance ?PLAY DramaticPlay)
    (hasPurpose ?PLAY
        (exists (?ACT ?PROP)
            (and
                (instance ?ACT DramaticActing)
                (containsInformation ?PLAY ?PROP)
                (realization ?ACT ?PROP)))))		 Mid-level-ontology.kif 16557-16564 If X is an instance of dramatic play, then X has the purpose there exist Y, Z such that Y is an instance of dramatic acting, X contains information Z, and Y expresses the content of Z
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))		 Mid-level-ontology.kif 17462-17469 If X is an instance of performance, then there exists Y such that Y is a subprocess of X and Y is an instance of dramatic acting or Y is an instance of making music
(=>
    (and
        (instance ?P DramaticPerformance)
        (subProcess ?A ?P))
    (instance ?A DramaticActing))		 Mid-level-ontology.kif 17568-17572 If X is an instance of dramatic performance and Y is a subprocess of X, then Y is an instance of dramatic acting
(=>
    (and
        (instance ?CAST DramaticCast)
        (member ?MEMBER ?CAST))
    (exists (?TEXT ?PROP ?PROC ?SUB)
        (and
            (instance ?TEXT FictionalText)
            (containsInformation ?TEXT ?PROP)
            (realization ?PROC ?PROP)
            (instance ?SUB DramaticActing)
            (agent ?SUB ?MEMBER)
            (subProcess ?SUB ?PROC))))		 Mid-level-ontology.kif 17578-17589 If X is an instance of dramatic cast and Y is a member of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of fictional text (3) Z contains information W (4) V expresses the content of W (5) U is an instance of dramatic acting (6) Y is an agent of U (7) U is a subprocess of V
(=>
    (and
        (instance ?DIRECT DramaticDirecting)
        (patient ?DIRECT ?ACT))
    (instance ?ACT DramaticActing))		 Mid-level-ontology.kif 20466-20470 If X is an instance of dramatic directing and Y is a patient of X, then Y is an instance of dramatic acting
(=>
    (attribute ?PERSON Actor)
    (hasSkill DramaticActing ?PERSON))		 Mid-level-ontology.kif 20747-20749 If actor is an attribute of X, then X has the skill to do dramatic acting
(=>
    (actedIn ?ACTOR ?O)
    (exists (?PERF)
        (and
            (instance ?PERF DramaticActing)
            (patient ?PERF ?ACTOR)
            (result ?PERF ?O))))		 Mid-level-ontology.kif 22994-23000 If X acted in Y., then there exists Z such that Z is an instance of dramatic acting, X is a patient of Z, and Y is a result of Z
(=>
    (instance ?CLASS ActingClass)
    (exists (?PROC)
        (and
            (instance ?PROC DramaticActing)
            (subProcess ?PROC ?CLASS))))		 Offers.kif 204-209 If X is an instance of ActingClass, then there exists Y such that Y is an instance of dramatic acting and Y is a subprocess of X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners