fmod PROTEINOPS is inc THEOPS . 

***(
op Egf : -> BProtein [ctor metadata "(\
  (category Ligand)\
  (spnumber P01133)\
  (hugosym EGF)\
  (contains \"Epidermal growth factor\" \"Urogastrone\")\
  (synonyms \"Pro-epidermal growth factor\"\
            \"EGF_HUMAN\"))"] .
)
**** testing partof
op Egf : -> Peptide  [ctor metadata "(\
  (category Ligand)\
  (partof ProEgf)\
  (synonyms \"Epidermal growth factor\"\
            \"Urogastrone\"))"] .
op ProEgf : -> BProtein [ctor metadata "(\
  (spnumber P01133)\
  (hugosym EGF)\
  (contains Egf)\
  (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 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 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 Pi3k : -> Composite [ctor metadata "(\
  (subunits Pik3cs Pik3rs)\
  (comment  \"PI3 Kinase is a heterodimer of:\"\
             \"a p110 catalytic subunit: Pik3ca, Pik3cb, Pik3cd or Pik3cg\"\
             \"a p85 regulatory subunit: Pik3r1, Pik3r2, or Pik3r3 \"))"] .

sort Pik3cS .
subsort Pik3cS < BProtein .
op Pik3cs : -> Pik3cS [ctor metadata "(\
  (category Family)\
  (members  Pik3ca Pik3cb Pik3cd Pik3cg))"] .
op Pik3c? : -> Pik3cS [ctor] .

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

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

op Pik3cd : -> Pik3cS [ctor metadata "(\
  (subunitof Pi3k)\
  (spnumber O00329)\
  (hugosym PIK3CD)\
  (synonyms \"Phosphatidylinositol-45-bisphosphate 3-kinase catalytic subunit delta isoform\"\
            \"PI3-kinase p110 subunit delta\"\
            \"PtdIns-3-kinase p110\"\
            \"Pi3k p110delta\"\
            \"PK3CA_HUMAN\"))"] .

op Pik3cg : -> Pik3cS [ctor metadata "(\
  (subunitof Pi3k)\
  (spnumber P48736)\
  (hugosym PIK3CG)\
  (synonyms \"Phosphatidylinositol-45-bisphosphate 3-kinase catalytic subunit gamma isoform\"\
            \"PI3-kinase p110 subunit gamma\"\
            \"PtdIns-3-kinase p110\"\
            \"Pi3kgamma\"\
            \"PK3CA_HUMAN\"))"] .

sort Pik3rS .
subsort Pik3rS < BProtein .
op Pik3rs : -> Pik3rS [ctor metadata "(\
  (category Family)\
  (members  Pik3r1 Pik3r2 Pik3r3))"] .
op Pik3r? : -> Pik3rS [ctor] .

op Pik3r1 : -> Pik3rS [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\"\
            \"GRB1\"\
            \"P85A_HUMAN\"))"] .

op Pik3r2 : -> Pik3rS [ctor metadata "(\
  (subunitof Pi3k)\
  (spnumber O00459)\
  (hugosym PIK3R2)\
  (synonyms \"Phosphatidylinositol 3-kinase regulatory beta subunit\"\
            \"PI3-kinase p85-beta subunit\"\
            \"PtdIns-3-kinase p85-beta\"\
            \"P85B_HUMAN\"))"] .

op Pik3r3 : -> Pik3rS [ctor metadata "(\
  (subunitof Pi3k)\
  (spnumber Q92569)\
  (hugosym PIK3R3)\
  (synonyms \"Phosphatidylinositol 3-kinase regulatory gamma subunit\"\
            \"PI3-kinase\"\
            \"p85-gamma subunit\"\
            \"PtdIns-3-kinase p85-gamma\"\
            \"p55PIK\"\
            \"P55G_HUMAN\"))"] .


endfm


***(
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 \"))"] .

)