| DramaticActing(戏剧表演) | |
| appearance as argument number 1 |
|
|
| (documentation DramaticActing EnglishLanguage "Playing a character in a Performance, MotionPicture, etc.") | Mid-level-ontology.kif 17337-17338 | |
| (subclass DramaticActing Pretending) | Mid-level-ontology.kif 17336-17336 | 戏剧表演 是 假装 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DramaticActing "戏剧表演") | domainEnglishFormat.kif 20325-20325 | |
| (termFormat ChineseTraditionalLanguage DramaticActing "戲劇表演") | domainEnglishFormat.kif 20324-20324 | |
| (termFormat EnglishLanguage DramaticActing "dramatic acting") | domainEnglishFormat.kif 20323-20323 |
| antecedent |
|
|
| (=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 22377-22384 | |
| (=> (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 765-784 |
|
| consequent |
|
|
| (=> (actedIn ?ACTOR ?O) (exists (?PERF) (and (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)))) |
Mid-level-ontology.kif 22369-22375 | |
| (=> (and (instance ?DIRECT DramaticDirecting) (patient ?DIRECT ?ACT)) (instance ?ACT DramaticActing)) |
Mid-level-ontology.kif 20118-20122 | |
| (=> (and (instance ?P DramaticPerformance) (subProcess ?A ?P)) (instance ?A DramaticActing)) |
Mid-level-ontology.kif 17344-17348 | |
| (=> (attribute ?PERSON Actor) (hasSkill DramaticActing ?PERSON)) |
Mid-level-ontology.kif 20381-20383 | |
| (=> (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 17354-17368 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic))))) |
Mid-level-ontology.kif 17238-17245 | |
| (=> (instance ?PLAY DramaticPlay) (hasPurpose ?PLAY (exists (?ACT ?PROP) (and (instance ?ACT DramaticActing) (containsInformation ?PLAY ?PROP) (realization ?ACT ?PROP))))) |
Mid-level-ontology.kif 16327-16334 |
|
|
|