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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Actor

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 18156-18157
(instance Actor EntertainmentProfession) Mid-level-ontology.kif 18155-18155
(subAttribute Actor Performer) Mid-level-ontology.kif 18159-18159

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


(subAttribute VoiceActor Actor) Biography.kif 520-520

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


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

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


(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 20077-20084
(=>
    (and
        (instance ?GROUP DramaticCast)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (holdsDuring ?T1
        (attribute ?MEM Actor)))
Mid-level-ontology.kif 18165-18171
(=>
    (and
        (instance ?P DramaticPerformance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Actor)))
Mid-level-ontology.kif 18173-18179


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