MusicalConductor |
appearance as argument number 1 |
(documentation MusicalConductor EnglishLanguage "The RelationalAttribute MusicalConductor describes the agent of a MusicalConducting process.") | Media.kif 1863-1865 | |
(instance MusicalConductor EntertainmentProfession) | Media.kif 1862-1862 | 例 MusicalConductor and 娛樂專業 |
appearance as argument number 2 |
(termFormat EnglishLanguage MusicalConductor "musical conductor") | domainEnglishFormat.kif 65217-65217 |
antecedent |
(=> (holdsDuring ?T1 (attribute ?AGENT MusicalConductor)) (exists (?CONDUCT) (and (instance ?CONDUCT MusicalConducting) (agent ?CONDUCT ?AGENT) (not (earlier ?T1 (WhenFn ?CONDUCT)))))) |
Media.kif 1873-1879 |
|
consequent |
(=> (and (instance ?CONDUCT MusicalConducting) (agent ?CONDUCT ?AGENT)) (holdsDuring (WhenFn ?CONDUCT) (attribute ?AGENT MusicalConductor))) |
Media.kif 1867-1871 |
|