TreeView Knowledge Base Browser

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)))

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