TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Performer EnglishLanguage "This RelationalAttribute describes an agent of a Performance.")	Mid-level-ontology.kif 18847-18848
(instance Performer EntertainmentProfession)	Mid-level-ontology.kif 18845-18845	Performer は EntertainmentProfession の instance では %n
(subAttribute Performer Artist)	Mid-level-ontology.kif 18846-18846	Performer は Artist の subattribute では %n

appearance as argument number 2

(subAttribute Actor Performer)	Mid-level-ontology.kif 18808-18808	Actor は Performer の subattribute では %n
(termFormat EnglishLanguage Performer "performer")	domainEnglishFormat.kif 65304-65304

consequent

(=>
    (and
        (instance ?P Performance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Performer)))

Mid-level-ontology.kif 18850-18855

工程は Performance の instance では %n AutonomousAgent は工程の agent では %n
Performer は AutonomousAgent の attribute では %n は工程の time の existence の during holds %n{ない}