| DramaticActing | |
| appearance as argument number 1 |
|
|
| (documentation DramaticActing EnglishLanguage "Playing a character in a Performance, MotionPicture, etc.") | Mid-level-ontology.kif 16168-16169 | |
| (subclass DramaticActing Pretending) | Mid-level-ontology.kif 16167-16167 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DramaticActing "戏剧表演") | domainEnglishFormat.kif 20327-20327 | |
| (termFormat ChineseTraditionalLanguage DramaticActing "戲劇表演") | domainEnglishFormat.kif 20326-20326 | |
| (termFormat EnglishLanguage DramaticActing "dramatic acting") | domainEnglishFormat.kif 20325-20325 |
| antecedent |
|
|
| (=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 21018-21025 | |
| (=> (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 21010-21016 | |
| (=> (and (instance ?DIRECT DramaticDirecting) (patient ?DIRECT ?ACT)) (instance ?ACT DramaticActing)) |
Mid-level-ontology.kif 18805-18809 | |
| (=> (and (instance ?P DramaticPerformance) (subProcess ?A ?P)) (instance ?A DramaticActing)) |
Mid-level-ontology.kif 16175-16179 | |
| (=> (attribute ?PERSON Actor) (hasSkill DramaticActing ?PERSON)) |
Mid-level-ontology.kif 19068-19070 | |
| (=> (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 16185-16199 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic))))) |
Mid-level-ontology.kif 16069-16076 | |
| (=> (instance ?PLAY DramaticPlay) (hasPurpose ?PLAY (exists (?ACT ?PROP) (and (instance ?ACT DramaticActing) (containsInformation ?PLAY ?PROP) (realization ?ACT ?PROP))))) |
Mid-level-ontology.kif 15172-15179 |
|
|
|