Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VoiceActor(voice actor) |
| appearance as argument number 1 |
|
| (subAttribute VoiceActor Actor) | Biography.kif 756-756 | Voice actor is a subattribute of actor |
| (instance VoiceActor ArtisticOccupation) | Biography.kif 757-757 | Voice actor is an instance of artistic occupation |
| (documentation VoiceActor EnglishLanguage "Like an Actor, a VoiceActor is also an agent of the dramatic performance. However, only his voice can be heard and not the actor himself") | Biography.kif 758-758 | Voice actor is an instance of artistic occupation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 760-779 | 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 |
|