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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Actor
Actoractor, barnstormer, film_star, histrion, mime, mimer, mimic, mimicker, movie_star, mummer, pantomimer, pantomimist, play-actor, playactor, player, puppeteer, role_player, thespian, trouper

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


s__documentation(s__Actor,s__EnglishLanguage,'"A SkilledOccupation describing a theatrical Performer, someone with expertise on DramaticActing."')

Mid-level-ontology.kif 17489-17490
s__instance(s__Actor,s__EntertainmentProfession)

s__instance(s__EntertainmentProfession,s__SetOrClass)

Mid-level-ontology.kif 17488-17488 Actor is an instance of entertainment profession
s__subAttribute(s__Actor,s__Performer)

Mid-level-ontology.kif 17492-17492 Actor is a subattribute of Performer

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


s__subAttribute(s__VoiceActor,s__Actor)

Biography.kif 520-520 Voice actor is a subattribute of Actor

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


( ! [V__PERSON] :
   ((s__instance(V__PERSON,s__Agent) =>
       ((s__attribute(V__PERSON,s__Actor) =>
           (s__hasSkill(s__DramaticActing,V__PERSON)))))
   )
)

Mid-level-ontology.kif 17494-17496

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19409-19416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17498-17504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17506-17512


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