[Term]
id: GO:0004996  ! thyroid-stimulating hormone receptor activity
intersection_of: GO:0004872  ! receptor activity
intersection_of: has_input CHEBI:17842  ! trypanothione
! Wrong. Thyroid-stimulating hormone (aka thyrotropin) is a glycoprotein consisting of an alpha and beta subunit. Can we pull in from PRO (would need a union term for the alpha and beta subunits)?

[Term]
id: GO:0005009  ! insulin-activated receptor activity
intersection_of: GO:0004872  ! receptor activity
intersection_of: has_input CHEBI:5931  ! insulin (human)
! Use PR:000009054 instead?

[Term]
id: GO:0038149  ! C-C motif chemokine 2 receptor activity
intersection_of: GO:0004872  ! receptor activity
intersection_of: has_input CHEBI:51370  ! dichlorocarbene
! Wrong. Use PR:000002122 instead?