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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Actor
Actor

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


(documentation Actor EnglishLanguage "A SkilledOccupation describing a theatrical Performer, someone with expertise on DramaticActing.") Mid-level-ontology.kif 18804-18805
(instance Actor EntertainmentProfession) Mid-level-ontology.kif 18803-18803 Actor ist ein fall von EntertainmentProfession %n{nicht}
(subAttribute Actor Performer) Mid-level-ontology.kif 18807-18807 Actor ist ein teilattribut von Performer

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


(subAttribute VoiceActor Actor) Biography.kif 753-753 VoiceActor ist ein teilattribut von Actor
(termFormat EnglishLanguage Actor "actor") domainEnglishFormat.kif 64406-64406

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


(=>
    (attribute ?PERSON Actor)
    (hasSkill DramaticActing ?PERSON))
Mid-level-ontology.kif 18809-18811

consequent
-------------------------


(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 20759-20766
(=>
    (and
        (instance ?GROUP DramaticCast)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (holdsDuring ?T1
        (attribute ?MEM Actor)))
Mid-level-ontology.kif 18813-18819
(=>
    (and
        (instance ?P DramaticPerformance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Actor)))
Mid-level-ontology.kif 18821-18827


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