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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DramaticActing
DramaticActing

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


(documentation DramaticActing EnglishLanguage "Playing a character in a Performance, MotionPicture, etc.") Mid-level-ontology.kif 15921-15922
(subclass DramaticActing Pretending) Mid-level-ontology.kif 15920-15920 DramaticActing est une sous-classe de pr�tendre

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


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

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


(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 20706-20713
(=>
    (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 757-776

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


(=>
    (actedIn ?ACTOR ?O)
    (exists (?PERF)
        (and
            (instance ?PERF DramaticActing)
            (patient ?PERF ?ACTOR)
            (result ?PERF ?O))))
Mid-level-ontology.kif 20698-20704
(=>
    (and
        (instance ?DIRECT DramaticDirecting)
        (patient ?DIRECT ?ACT))
    (instance ?ACT DramaticActing))
Mid-level-ontology.kif 18493-18497
(=>
    (and
        (instance ?P DramaticPerformance)
        (subProcess ?A ?P))
    (instance ?A DramaticActing))
Mid-level-ontology.kif 15928-15932
(=>
    (attribute ?PERSON Actor)
    (hasSkill DramaticActing ?PERSON))
Mid-level-ontology.kif 18756-18758
(=>
    (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 15938-15952
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))
Mid-level-ontology.kif 15822-15829
(=>
    (instance ?PLAY DramaticPlay)
    (hasPurpose ?PLAY
        (exists (?ACT ?PROP)
            (and
                (instance ?ACT DramaticActing)
                (containsInformation ?PLAY ?PROP)
                (realization ?ACT ?PROP)))))
Mid-level-ontology.kif 14925-14932


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