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 522-522
(instance VoiceActor ArtisticOccupation) Biography.kif 521-521
(subAttribute VoiceActor Actor) Biography.kif 520-520

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


(termFormat ChineseLanguage VoiceActor "配音演员") domainEnglishFormat.kif 61830-61830
(termFormat ChineseTraditionalLanguage VoiceActor "配音演員") domainEnglishFormat.kif 61829-61829
(termFormat EnglishLanguage VoiceActor "voice actor") domainEnglishFormat.kif 61828-61828

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


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 3.0 is open source software produced by Articulate Software and its partners