fmod PROTEINOPS is inc THEOPS . 


sort ErbB1L .    *** ErbB1 Ligand
subsort ErbB1L < BProtein .


op 1433x1 : -> Protein . *** the 1433 protein(s) that bind to Raf1

op Egf : -> ErbB1L [ctor metadata "(\
  (category Ligand)\
  (spnumber P01133)\
  (hugosym EGF)\
  (contains \"Epidermal growth factor\" \"Urogastrone\")\
  (synonyms \"Pro-epidermal growth factor\"\
            \"EGF_HUMAN\"))"] .

op EgfR : -> BProtein [ctor metadata "(\
  (category Receptor)\
  (spnumber P00533)\
  (hugosym EGFR)\
  (synonyms \"Epidermal growth factor receptor\"\
            \"ERBB1\" \"Receptor tyrosine-protein kinase ErbB-1\"\
            \"EGFR_HUMAN\"))"] .

op ErbB2 : -> BProtein [ctor metadata "(\
  (spname ERB2_HUMAN)\
  (spnumber P04626)\
  (hugosym ERBB2)\
  (category Receptor)\
  (synonyms \"Receptor tyrosine-protein kinase erbB-2 precursor\" \
            \"p185erbB2, C-erbB-2 \" \
            \"NEU proto-oncogene \" \
            \"Tyrosine kinase-type cell surface receptor HER2 \" \
            \"MLN 19, HER2, NEU, NGL, TKR1 \"))"] .


op Sos1 : -> BProtein [ctor metadata "(\
  (category \"Guanine Nucleotide Exchange Factor\")\
  (spnumber Q07889)\
  (hugosym SOS1)\
  (synonyms \"Son of sevenless protein homolog 1\"\
            \"SOS-1\"\
            \"SOS1 guanine nucleotide exchange factor\"\
            \"Son of sevenless, drosophila homolog 1 \"\
            \"SOS1_HUMAN\"))"] .

sort GabS .
subsort GabS < BProtein .

op Gab1 : -> GabS [ctor metadata "(\
  (spnumber Q13480)\
  (hugosym GAB1)\
  (synonyms \"GRB2-associated binding protein 1\"\
            \"GRB2-associated binder-1\"\
            \"GABI_HUMAN\"))"] .

op Gab2 : -> GabS [ctor metadata "(\
  (spnumber Q9UQC2)\
  (hugosym GAB2)\
  (synonyms \"GRB2-associated binding protein 2\"\
            \"GRB2-associated binder-2\"\
            \"pp100\"\
            \"KIAA0571\"\
            \"GABJ_HUMAN\"))"] .

op Gabs : -> GabS [ctor metadata "(\
  (category Family)\
  (members Gab1 Gab2)\
  (comment \"\"))"] .

op Grb2 : -> BProtein [ctor metadata "(\
  (spname GRB2_HUMAN)\
  (spnumber P62993)\
  (hugosym GRB2)\
  (synonyms \"Growth factor receptor-bound protein 2\" \
            \"GRB2 adapter protein \" \
            \"SH2/SH3 adapter GRB2 \" \
            \"Abundant Src homology protein, Ash protein, Ash \"))"] .

op Hras : -> BProtein [ctor metadata "(\
  (spnumber P01112)\
  (hugosym HRAS)\
  (synonyms \"GTPase HRas\"\
            \"Transforming protein p21\"\
            \"v-Ha-ras Harvey rat sarcoma viral oncogene homolog\"\
            \"Harvey murine sarcoma virus oncogene\"\
            \"H-Ras-1\"\
            \"c-H-ras\"\
            \"HRAS1\"\
            \"RASH1\"\
            \"RASH_HUMAN\"))"] .

op Pak1 : -> BProtein [ctor metadata "(\
  (spnumber Q13153)\
  (hugosym PAK1)\
  (synonyms \"Serine/threonine-protein kinase PAK 1\"\
            \"p21-activated kinase 1 \"\
            \"PAK-1, P65-PAK, Alpha-PAK \"\
            \"PAK1_HUMAN \"))"] .

op Pik3ca : -> BProtein [ctor metadata "(\
  (subunitof Pi3k)\
  (spnumber P42336)\
  (hugosym PIK3CA)\
  (synonyms \"Phosphatidylinositol-4,5-bisphosphate 3-kinase catalytic subunit alpha isoform\"\
            \"PI3-kinase p110 subunit alpha\"\
            \"PtdIns-3-kinase p110\"\
            \"Pi3k\"\
            \"PK3CA_HUMAN\"))"] .

op Pik3cb : -> BProtein [ctor metadata "(\
  (subunitof Pi3k)\
  (spnumber P42338)\
  (hugosym PIK3CB)\
  (synonyms \"Phosphatidylinositol-4,5-bisphosphate 3-kinase catalytic subunit beta isoform\"\
            \"PI3-kinase p110 subunit beta\"\
            \"PtdIns-3-kinase p110\"\
            \"Pi3k\"\
            \"Pi3kbeta\"\
            \"PK3CA_HUMAN\"))"] .

op Pik3r1 : -> BProtein [ctor metadata "(\
  (subunitof Pi3k)\
  (spnumber P27986)\
  (hugosym PIK3R1)\
  (synonyms \"Phosphatidylinositol 3-kinase regulatory alpha subunit\"\
            \"PI3-kinase p85-alpha subunit\"\
            \"PtdIns-3-kinase p85-alpha\"\
            \"Pi3k\"\
            \"GRB1\"\
            \"P85A_HUMAN\"))"] .

op Pi3k : -> Composite [ctor metadata "(\
   (subunits Pik3ca Pik3cb Pik3r1)\
   (comment  \"PI3 Kinase is a heterodimer of: a p110 catalytic subunit: Pik3ca, Pik3cb, Pik3cd or Pik3cg; and a p85 regulatory subunit: Pik3r1, Pik3r2, or Pik3r3 \"))"] .

op Cbl : -> Protein [metadata "(\
  (spname CBL_HUMAN)\
  (spnumber P22681)\
  (hugosym CBL)\
  (synonyms \"CBL E3 ubiquitin protein ligase \" \
            \"Signal transduction protein CBL \" \
            \"Proto-oncogene c-CBL \" \
            \"Casitas B-lineage lymphoma proto-oncogene \" \
            \"CBL2 \"))"] .

sort Plc .
subsort Plc < BProtein .

  op Plcg : -> Plc [ctor metadata "(\
  (category Family)\
  (members Plcg1 Plcg2))"] .

  op Plcg1 : -> BProtein [ctor metadata "(\
  (spname PIG1_HUMAN)\
  (spnumber P19174)\
  (hugosym PLCG1)\
  (synonyms \"1-phosphatidylinositol-4,5-bisphosphate phosphodiesterase gamma 1\" \
            \"EC 3.1.4.11 \" \
            \"Phosphoinositide phospholipase C \" \
            \"PLC-gamma-1 \" \
            \"Phospholipase C-gamma-1 \" \
            \"PLC-II,  PLC-148, PLC1 \"))"] .
  op Plcg2 : -> BProtein [ctor metadata "(\
  (spname PIG2_HUMAN)\
  (spnumber P16885)\
  (hugosym PLCG2)\
  (synonyms \"1-phosphatidylinositol-4,5-bisphosphate phosphodiesterase gamma 2\" \
            \"EC 3.1.4.11 \" \
            \"Phosphoinositide phospholipase C \" \
            \"PLC-gamma-2 \" \
            \"Phospholipase C-gamma-2 \" \
            \"PLC-IV \"))"] .

sort Ppp2cS .
subsort Ppp2cS < BProtein .

op Ppp2cs : -> Ppp2cS [ctor metadata "(\
  (category Family)\
  (members  Ppp2ca Ppp2cb))"] .

op Ppp2ca : -> Ppp2cS [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber P67775)\
  (hugosym PPP2CA)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"catalytic subunit, alpha isoform\"\
            \"PP2A-alpha\"\
            \"Replication protein C, RP-C\"\
            \"P2AA_HUMAN \"))"] .

op Ppp2cb : -> Ppp2cS [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber P62714)\
  (hugosym PPP2CB)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"catalytic subunit, beta isoform\"\
            \"PP2A-beta\"\
            \"P2AB_HUMAN \"))"] .

sort Ppp2r1S .
subsort Ppp2r1S < BProtein .

op Ppp2r1s : -> Ppp2r1S [ctor metadata "(\
  (category Family)\
  (members  Ppp2r1a Ppp2r1b))"] . 

op Ppp2r1a : -> Ppp2r1S [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber P30153)\
  (hugosym PPP2R1A)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"65 kDa regulatory subunit A, alpha isoform\"\
            \"PP2A, subunit A, PR65-alpha isoform\"\
            \"PP2A, subunit A, R1-alpha isoform\"\
            \"2AAA_HUMAN \"))"] .

op Ppp2r1b : -> Ppp2r1S [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber P30154)\
  (hugosym PPP2R1B)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"65 kDa regulatory subunit A, beta isoform\"\
            \"PP2A, subunit A, PR65-beta isoform\"\
            \"PP2A, subunit A, R1-beta isoform\"\
            \"PP2A, structural/regulatory subunit A, beta\"\
            \"2AAB_HUMAN \"))"] .

op Ppp2r2a : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber P63151)\
  (hugosym PPP2R2A)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"55 kDa regulatory subunit B,alpha isoform\"\
            \"PP2A, subunit B, B-alpha isoform\"\
            \"PP2A, subunit B, B55-alpha isoform\"\
            \"PP2A, subunit B, PR55-alpha isoform\"\
            \"PP2A, subunit B, R2-alpha isoform\"\
            \"Sur-6\"\
            \"2ABA_HUMAN \"))"] .

op Ppp2r2b : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q00005)\
  (hugosym PPP2R2B)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"55 kDa regulatory subunit B, beta isoform\"\
            \"PP2A, subunit B, B-beta isoform\"\
            \"PP2A, subunit B, B55-beta isoform\"\
            \"PP2A, subunit B, PR55-beta isoform\"\
            \"PP2A, subunit B, R2-beta isoform\"\
            \"2ABB_HUMAN \"))"] .

op Ppp2r2c : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q9Y2T4)\
  (hugosym PPP2R2C)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"55 kDa regulatory subunit B, gamma isoform\"\
            \"PP2A, subunit B, B-gamma isoform\"\
            \"PP2A, subunit B, B55-gamma isoform\"\
            \"PP2A, subunit B, PR55-gamma isoform\"\
            \"PP2A, subunit B, R2-gamma isoform\"\
            \"IMYPNO1\"\
            \"2ABG_HUMAN \"))"] .

op Ppp2r2d : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q66LE6)\
  (hugosym PPP2R2D)\
  (synonyms \"KIAA1541;\"\
            \"Serine/threonine-protein phosphatase 2A,\"\
            \"55 kDa regulatory subunit B, delta isoform\"\
            \"PP2A, subunit B, B-delta isoform\"\
            \"PP2A, subunit B, B55-delta isoform\"\
            \"PP2A, subunit B, PR55-delta isoform\"\
            \"PP2A, subunit B, R2-delta isoform\"\
            \"2ABD_HUMAN \"))"] .

op Ppp2r3a : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q06190)\
  (hugosym PPP2R3A)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"72/130 kDa regulatory subunit B\"\
            \"PP2A, subunit B, B''-PR72/PR130\"\
            \"PP2A, subunit B, B72/B130 isoforms\"\
            \"PP2A, subunit B, PR72/PR130 isoforms\"\
            \"PP2A, subunit B, R3 isoform\"\
            \"PPP2R3\"\
            \"2ACA_HUMAN \"))"] .

op Ppp2r3b : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q9Y5P8)\
  (hugosym PPP2R3B)\
  (synonyms \"Protein phosphatase 2A, regulatory subunit B'', beta\"\
            \"Serine/threonine protein phosphatase 2A,\"\
            \"48 kDa regulatory subunit B\"\
            \"PP2A, subunit B, PR48 isoform\"\
            \"PPP2R3L, PPP2R3LY\"\
            \"2ACC_HUMAN \"))"] .

op Ppp2r4 : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q15257)\
  (hugosym PPP2R4)\
  (synonyms \"Protein phosphatase 2A, regulatory subunit B'\"\
            \"PP2A, subunit B', PR53 isoform\"\
            \"Phosphotyrosyl phosphatase activator, PTPA\"\
            \"PTPA_HUMAN \"))"] .

op Ppp2r5a : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q15172)\
  (hugosym PPP2R5A)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"56 kDa regulatory subunit, alpha isoform\"\
            \"PP2A, B subunit, B' alpha isoform\"\
            \"PP2A, B subunit, B56 alpha isoform\"\
            \"PP2A, B subunit, PR61 alpha isoform\"\
            \"PP2A, B subunit, R5 alpha isoform\"\
            \"2A5A_HUMAN \"))"] .

op Ppp2r5b  : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q15173)\
  (hugosym PPP2R5B)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"56 kDa regulatory subunit, beta isoform\"\
            \"PP2A, B subunit, B' beta isoform\"\
            \"PP2A, B subunit, B56 beta isoform\"\
            \"PP2A, B subunit, PR61 beta isoform\"\
            \"PP2A, B subunit, R5 beta isoform\"\
            \"2A5B_HUMAN \"))"] .

op Ppp2r5c : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q13362)\
  (hugosym PPP2R5C)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"56 kDa regulatory subunit, gamma isoform\"\
            \"PP2A, B subunit, B' gamma isoform\"\
            \"PP2A, B subunit, B56 gamma isoform\"\
            \"PP2A, B subunit, PR61 gamma isoform\"\
            \"PP2A, B subunit, R5 gamma isoform\"\
            \"KIAA0044\"\
            \"2A5G_HUMAN \"))"] .

op Ppp2r5d : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q14738)\
  (hugosym PPP2R5D)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"56 kDa regulatory subunit, delta isoform\"\
            \"PP2A, B subunit, B' delta isoform\"\
            \"PP2A, B subunit, B56 delta isoform\"\
            \"PP2A, B subunit, PR61 delta isoform\"\
            \"PP2A, B subunit, R5 delta isoform\"\
            \"2A5D_HUMAN \"))"] .

op Ppp2r5e : -> BProtein [ctor metadata "(\
  (subunitof PP2a)\
  (spnumber Q16537)\
  (hugosym PPP2R5E)\
  (synonyms \"Serine/threonine protein phosphatase 2A,\"\
            \"56 kDa regulatory subunit, epsilon isoform\"\
            \"PP2A, B subunit, B' epsilon isoform\"\
            \"PP2A, B subunit, B56 epsilon isoform\"\
            \"PP2A, B subunit, PR61 epsilon isoform\"\
            \"PP2A, B subunit, R5 epsilon isoform\"\
            \"2A5E_HUMAN \"))"] .

op PP2a : -> Composite [ctor metadata "(\
  (subunits Ppp2ca Ppp2cb Ppp2r1a Ppp2r1b Ppp2r2a Ppp2r2b \
            Ppp2r2c Ppp2r2d Ppp2r3a Ppp2r3b Ppp2r4 Ppp2r5a Ppp2r5b \
            Ppp2r5c Ppp2r5d Ppp2r5e)\
  (comment  \"Protein Phosphatase PP2A consists of:  \"\
            \"a 36 kDa catalytic subunit: Ppp2ca or Ppp2cb \"\
            \"a 65 kDa constant regulatory subunit: Ppp2r1a or Ppp2r1b \"\
            \"a variety of regulatory subunits which include: \"\
            \"regulatory subunits B: Ppp2r2 - Ppp2r5 \"\
            \"viral proteins, and cell signaling molecules. \"))"] .

op Raf1 : -> BProtein [ctor metadata "(\
  (spnumber P04049)\
  (hugosym RAF1)\
  (synonyms \"RAF proto-oncogene serine/threonine-protein kinase \"\
            \"Transforming replication defective murine retrovirus 3611-MSV \"\
            \"Raf-1, C-RAF, cRaf, RAF, Oncogene MIL \"\
            \"RAF1_HUMAN \"))"] .

op Shc : -> BProtein [ctor metadata "(\
  (spname SHC1_HUMAN)\
  (spnumber P29353)\
  (hugosym SHC1)\
  (synonyms \"SHC transforming protein 1 \" \
            \"SH2 domain protein C1 \" \
            \"Src homology 2 domain containing transforming protein C1 \" \
            \"SHC, SHCA \"))"] .

op Src : -> BProtein [ctor metadata "(\
  (spname SRC_HUMAN)\
  (spnumber P12931)\
  (hugosym SRC)\
  (synonyms \"Proto-oncogene tyrosine-protein kinase Src \" \
            \"Avian sarcoma virus protein, ASV \" \
            \"Tyrosine kinase pp60c-src \" \
            \"Tyrosine protein kinase SRC-1 \" \
            \"Protooncogene SRC, Rous sarcoma \" \
            \"v-src sarcoma (Schmidt-Ruppin A-2) viral oncogene homolog \" \
            \"p60-Src, c-Src, SRC1 \"))"] .

op Tgfa   : -> ErbB1L [ctor metadata "(\
  (spnumber P01135)\
  (hugosym TGFA)\
  (synonyms \"Transforming growth factor alpha precursor \"\
            \"TGF-alpha \"\
            \"EGF-like TGF, ETGF \"\
            \"TGF type 1  \"\
            \"TGFA_HUMAN \"))"] .

op Ube2l3 : -> BProtein [ctor metadata "(\
  (spname UB2L3_HUMAN)\
  (spnumber P68036)\
  (hugosym UBE2L3)\
  (synonyms \"Ubiquitin-conjugating enzyme E2 L3 (EC 6.3.2.19) \" \
            \"Ubiquitin-protein ligase L3 \" \
            \"Ubiquitin carrier protein L3 \" \
            \"UbcH7, E2-F1, L-UBC, UBCE7, UBCH7 \"))"] .

op Vav2 : -> BProtein [ctor metadata "(\
  (spname VAV2_HUMAN)\
  (spnumber P52735)\
  (hugosym VAV2)\
  (synonyms \"Vav-2 protein.\"))"] .



endfm