TreeView Knowledge Base Browser

appearance as argument number 1

(instance Artist EntertainmentProfession)	Mid-level-ontology.kif 20768-20768	Artist is an instance of entertainment profession
(documentation Artist EnglishLanguage "This RelationalAttribute describes an AutonomousAgent that contributes to a Performance, or to some form of ContentDevelopment that results in an ArtWork.")	Mid-level-ontology.kif 20769-20772	Artist is an instance of entertainment profession

appearance as argument number 2

(subAttribute Performer Artist)	Mid-level-ontology.kif 20783-20783	Performer is a subattribute of artist
(termFormat EnglishLanguage Artist "artist")	domainEnglishFormat.kif 64478-64478	Performer is a subattribute of artist

consequent

(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))

If X is an agent of Y, Z is a result of Y, and Z is an instance of art work, then artist is an attribute of X holds during the time of existence of Y