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
-------------------------


(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 516-516
(instance VoiceActor ArtisticOccupation) Biography.kif 515-515
(subAttribute VoiceActor Actor) Biography.kif 514-514

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


(termFormat EnglishLanguage VoiceActor "voice actor") domainEnglishFormat.kif 10735-10735

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


(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?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