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 18805-18806
(instance Actor EntertainmentProfession) Mid-level-ontology.kif 18804-18804 Actor est une instance de EntertainmentProfession
(subAttribute Actor Performer) Mid-level-ontology.kif 18808-18808 Actor est un sous-attribut de Performer

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


(subAttribute VoiceActor Actor) Biography.kif 753-753 VoiceActor est un sous-attribut de Actor
(termFormat EnglishLanguage Actor "actor") domainEnglishFormat.kif 64406-64406

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


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

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


(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 20760-20767
(=>
    (and
        (instance ?GROUP DramaticCast)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (holdsDuring ?T1
        (attribute ?MEM Actor)))
Mid-level-ontology.kif 18814-18820
(=>
    (and
        (instance ?P DramaticPerformance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Actor)))
Mid-level-ontology.kif 18822-18828


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