Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Protein
Protein(protein)
more pictures...
ABO_antibodies, AFP, C-reactive_protein, CD4, CD8, CRP, Hb, Ig, IgD, IgE, IgG, IgM, LDL, NGF, PSA, Rh_antibody, VLDL, actin, actomyosin, agglutinogen, albumen, albumin, albuminoid, albuminous, aleurone, aleuronic, alpha-interferon, alpha_fetoprotein, alpha_foetoprotein, alpha_globulin, amyloid, antitoxin, antivenene, antivenin, apoenzyme, beta-interferon, beta-lipoprotein, beta_globulin, casein, ceratin, chitin, chondrin, cluster_of_differentiation_4, cluster_of_differentiation_8, compound_protein, conjugated_protein, cytochrome, cytochrome_c, cytokine, cytolysin...

appearance as argument number 1
-------------------------


s__documentation(s__Protein,s__ChineseLanguage,'"这是一种由肽键连接的氨基酸所组成的 Nutrient。"')

chinese_format.kif 3450-3450
s__documentation(s__Protein,s__EnglishLanguage,'"A Nutrient made up of amino acids joined by peptide bonds."')

Merge.kif 13994-13995
s__externalImage(s__Protein,'"http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mouse-cholera-antibody-1f4x.png"')

pictureList.kif 7659-7659
s__externalImage(s__Protein,'"http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Protein_Composite.jpg"')

pictureList.kif 7656-7656
s__externalImage(s__Protein,'"http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Myoglobin.png"')

pictureList.kif 7660-7660
s__externalImage(s__Protein,'"http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Localisations02eng.jpg"')

pictureList.kif 7657-7657
s__externalImage(s__Protein,'"http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Proteinviews-1tim.png"')

pictureList.kif 7661-7661
s__externalImage(s__Protein,'"http://upload.wikimedia.org/wikipedia/en/0/00/Protein_Dynamics_Cytochrome_C_2NEW_small.gif"')

pictureList.kif 6798-6798
s__externalImage(s__Protein,'"http://upload.wikimedia.org/wikipedia/en/b/ba/Peptide_bond.jpg"')

pictureList.kif 7658-7658
s__subclass(s__Protein,s__Nutrient)

s__instance(s__Nutrient,s__SetOrClass)

s__instance(s__Protein,s__SetOrClass)

Merge.kif 13993-13993 Protein is a subclass of nutrient

appearance as argument number 2
-------------------------


s__disjointDecomposition__4(s__Nutrient,s__Protein,s__Carbohydrate,s__Vitamin)

Merge.kif 13988-13988 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
s__instance(s__AbrinToxin,s__SetOrClass)

s__instance(s__Protein,s__SetOrClass)

s__subclass(s__AbrinToxin,s__Protein)

WMD.kif 433-433 Abrin toxin is a subclass of protein
s__instance(s__Antibody,s__SetOrClass)

s__subclass(s__Antibody,s__Protein)

s__instance(s__Protein,s__SetOrClass)

Mid-level-ontology.kif 8703-8703 Antibody is a subclass of protein
s__subclass(s__Enzyme,s__Protein)

s__instance(s__Protein,s__SetOrClass)

s__instance(s__Enzyme,s__SetOrClass)

Merge.kif 13997-13997 Enzyme is a subclass of protein
s__instance(s__GeneRegulatoryProtein,s__SetOrClass)

s__instance(s__Protein,s__SetOrClass)

s__subclass(s__GeneRegulatoryProtein,s__Protein)

VirusProteinAndCellPart.kif 248-248 Gene regulatory protein is a subclass of protein
s__subclass(s__Lipoprotein,s__Protein)

s__instance(s__Protein,s__SetOrClass)

s__instance(s__Lipoprotein,s__SetOrClass)

VirusProteinAndCellPart.kif 495-495 Lipoprotein is a subclass of protein
s__subclass(s__MotorProtein,s__Protein)

s__instance(s__MotorProtein,s__SetOrClass)

s__instance(s__Protein,s__SetOrClass)

VirusProteinAndCellPart.kif 232-232 Motor protein is a subclass of protein
s__instance(s__ReceptorProtein,s__SetOrClass)

s__instance(s__Protein,s__SetOrClass)

s__subclass(s__ReceptorProtein,s__Protein)

VirusProteinAndCellPart.kif 244-244 Receptor protein is a subclass of protein
s__instance(s__RicinToxin,s__SetOrClass)

s__subclass(s__RicinToxin,s__Protein)

s__instance(s__Protein,s__SetOrClass)

WMD.kif 425-425 Ricin toxin is a subclass of protein
s__instance(s__SignalingProtein,s__SetOrClass)

s__instance(s__Protein,s__SetOrClass)

s__subclass(s__SignalingProtein,s__Protein)

VirusProteinAndCellPart.kif 240-240 Signaling protein is a subclass of protein
s__instance(s__Protein,s__SetOrClass)

s__subclass(s__SpecialPurposeProtein,s__Protein)

s__instance(s__SpecialPurposeProtein,s__SetOrClass)

VirusProteinAndCellPart.kif 252-252 Special purpose protein is a subclass of protein
s__instance(s__StorageProtein,s__SetOrClass)

s__subclass(s__StorageProtein,s__Protein)

s__instance(s__Protein,s__SetOrClass)

VirusProteinAndCellPart.kif 236-236 Storage protein is a subclass of protein
s__subclass(s__StructuralProtein,s__Protein)

s__instance(s__StructuralProtein,s__SetOrClass)

s__instance(s__Protein,s__SetOrClass)

VirusProteinAndCellPart.kif 224-224 Structural protein is a subclass of protein
s__subclass(s__TransportProtein,s__Protein)

s__instance(s__TransportProtein,s__SetOrClass)

s__instance(s__Protein,s__SetOrClass)

VirusProteinAndCellPart.kif 228-228 Transport protein is a subclass of protein
s__termFormat(s__ChineseLanguage,s__Protein,'"蛋白质"')

chinese_format.kif 1006-1006
s__termFormat(s__EnglishLanguage,s__Protein,'"protein"')

english_format.kif 1229-1229

appearance as argument number 3
-------------------------


s__domainSubclass(s__associatedFunctionality__m,n__2,s__Protein)

VirusProteinAndCellPart.kif 291-291 The number 2 argument of associated functionality is a subclass of protein

antecedent
-------------------------


( ! [V__P] :
   ((s__instance(V__P,s__Protein) =>
       (( ? [V__A] :
           ((s__instance(V__A,s__AminoAcid) &
               s__part(V__A,V__P))))))
   )
)

Mid-level-ontology.kif 7969-7974

consequent
-------------------------


( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__PlasmaMembrane) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ2,V__OBJ1)
             &
             s__instance(V__OBJ2,s__Protein))))))
   )
)

VirusProteinAndCellPart.kif 305-310


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners