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 20376-20377
(instance Actor EntertainmentProfession) Mid-level-ontology.kif 20375-20375
(subAttribute Actor Performer) Mid-level-ontology.kif 20379-20379

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


(subAttribute VoiceActor Actor) Biography.kif 761-761
(termFormat EnglishLanguage Actor "actor") domainEnglishFormat.kif 64400-64400

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


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

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


(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 22377-22384
(=>
    (and
        (instance ?GROUP DramaticCast)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (holdsDuring ?T1
        (attribute ?MEM Actor)))
Mid-level-ontology.kif 20385-20391
(=>
    (and
        (instance ?P DramaticPerformance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Actor)))
Mid-level-ontology.kif 20393-20399


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