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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VoiceActor

Sigma KEE - VoiceActor
VoiceActorvoice_actor

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


s__documentation(s__VoiceActor,s__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 516-516
s__instance(s__VoiceActor,s__ArtisticOccupation)

Biography.kif 515-515
s__subAttribute(s__VoiceActor,s__Actor)

Biography.kif 514-514

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


s__termFormat(s__EnglishLanguage,s__VoiceActor,'voice actor')

domainEnglishFormat.kif 10735-10735

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


( ∀ [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER]
   ((s__attribute(V__ACTOR,s__VoiceActor) ∧
       s__instance(V__DRAMA,s__DramaticActing) ∧
       s__agent(V__DRAMA,V__ACTOR)
     ∧
     s__instance(V__SPEAK,s__LinguisticCommunication) ∧
     s__agent(V__SPEAK,V__ACTOR)
   ∧
   s__subProcess(V__SPEAK,V__DRAMA))

((¬ (∃ [V__S]
     (s__instance(V__S,s__Seeing) ∧
       s__patient(V__S,V__ACTOR)
     ∧
     s__agent(V__S,V__VIEWER))))

(∃ [V__H]
(s__instance(V__H,s__Hearing) ∧
s__patient(V__H,V__ACTOR)

s__agent(V__H,V__VIEWER)))))
)

Biography.kif 518-537


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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