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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VoiceActor
VoiceActor

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 ChineseLanguage VoiceActor "配音演员") domainEnglishFormat.kif 61807-61807
(termFormat ChineseTraditionalLanguage VoiceActor "配音演員") domainEnglishFormat.kif 61806-61806
(termFormat EnglishLanguage VoiceActor "voice actor") domainEnglishFormat.kif 61805-61805

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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