|
|
  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 est une instance de EntertainmentProfession |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MusicalConductor "musical conductor") | domainEnglishFormat.kif 65215-65215 |
| 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 |
|
|
|
|