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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DramaticActing
DramaticActing

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 13607-13608
(subclass DramaticActing Pretending) Mid-level-ontology.kif 13606-13606 DramaticActingふりsubclass では %n

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


(termFormat ChineseLanguage DramaticActing "戏剧表演") domainEnglishFormat.kif 20245-20245 termFormat ChineseLanguage, DramaticActing and "戏剧表演"
(termFormat ChineseTraditionalLanguage DramaticActing "戲劇表演") domainEnglishFormat.kif 20244-20244 termFormat ChineseTraditionalLanguage, DramaticActing and "戲劇表演"
(termFormat EnglishLanguage DramaticActing "dramatic acting") domainEnglishFormat.kif 20243-20243 termFormat EnglishLanguage, DramaticActing and "dramatic acting"

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


(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 18416-18423
(=>
    (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 18408-18414
(=>
    (and
        (instance ?DIRECT DramaticDirecting)
        (patient ?DIRECT ?ACT))
    (instance ?ACT DramaticActing))
Mid-level-ontology.kif 16140-16144
(=>
    (and
        (instance ?P DramaticPerformance)
        (subProcess ?A ?P))
    (instance ?A DramaticActing))
Mid-level-ontology.kif 13614-13618
(=>
    (attribute ?PERSON Actor)
    (hasSkill DramaticActing ?PERSON))
Mid-level-ontology.kif 16395-16397
(=>
    (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 13624-13638
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))
Mid-level-ontology.kif 13508-13515
(=>
    (instance ?PLAY DramaticPlay)
    (hasPurpose ?PLAY
        (exists (?ACT ?PROP)
            (and
                (instance ?ACT DramaticActing)
                (containsInformation ?PLAY ?PROP)
                (realization ?ACT ?PROP)))))
Mid-level-ontology.kif 12658-12664


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