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


KB Term:  Term intersection
English Word: 

Sigma KEE - DramaticActing
DramaticActing(dramatic acting)

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


(subclass DramaticActing Pretending) Mid-level-ontology.kif 17490-17490 Dramatic acting is a subclass of pretending
(documentation DramaticActing EnglishLanguage "Playing a character in a Performance, MotionPicture, etc.") Mid-level-ontology.kif 17491-17492 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 23068-23075 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 776-795 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 16479-16486 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 17392-17399 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 17498-17502 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 17508-17519 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 20478-20482 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 20744-20746 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 23060-23066 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 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 3.0 is open source software produced by Articulate Software and its partners