Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Performer
Performer(performer)Savoyard, artiste, baton_twirler, buffoon, clown, conjurer, conjuror, cowboy, ecdysiast, executant, exotic_dancer, fire-eater, fire-swallower, fire_walker, fool, geek, goof, goofball, harlequin, headliner, illusionist, jester, juggler, magician, merry_andrew, minstrel, monologist, motley_fool, peeler, performer, performing_artist, prestidigitator, rodeo_rider, second_banana, snake_charmer, star, straight_man, stripper, striptease, striptease_artist, stripteaser, strongman, twirler, vaudevillian, ventriloquist, whiteface

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


(instance Performer EntertainmentProfession) Mid-level-ontology.kif 20782-20782 Performer is an instance of entertainment profession
(subAttribute Performer Artist) Mid-level-ontology.kif 20783-20783 Performer is a subattribute of artist
(documentation Performer EnglishLanguage "This RelationalAttribute describes an agent of a Performance.") Mid-level-ontology.kif 20784-20785 Performer is a subattribute of artist

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


(subAttribute Actor Performer) Mid-level-ontology.kif 20745-20745 Actor is a subattribute of performer
(termFormat EnglishLanguage Performer "performer") domainEnglishFormat.kif 65307-65307 Actor is a subattribute of performer

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


(=>
    (and
        (instance ?P Performance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Performer)))		 Mid-level-ontology.kif 20787-20792 If X is an instance of performance and Y is an agent of X, then performer is an attribute of Y holds during the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners