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
-------------------------


(documentation Protein ChineseLanguage "这是一种由肽键连接的氨基酸所组成的 Nutrient。") chinese_format.kif 3450-3450
(documentation Protein EnglishLanguage "A Nutrient made up of amino acids joined by peptide bonds.") Merge.kif 13644-13645
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mouse-cholera-antibody-1f4x.png") pictureList.kif 7660-7660
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Protein_Composite.jpg") pictureList.kif 7657-7657
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Myoglobin.png") pictureList.kif 7661-7661
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Localisations02eng.jpg") pictureList.kif 7658-7658
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Proteinviews-1tim.png") pictureList.kif 7662-7662
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/0/00/Protein_Dynamics_Cytochrome_C_2NEW_small.gif") pictureList.kif 6798-6798
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/b/ba/Peptide_bond.jpg") pictureList.kif 7659-7659
(subclass Protein Nutrient) Merge.kif 13643-13643 Protein is a subclass of nutrient

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 13638-13638 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(subclass AbrinToxin Protein) WMD.kif 433-433 Abrin toxin is a subclass of protein
(subclass Antibody Protein) Mid-level-ontology.kif 9110-9110 Antibody is a subclass of protein
(subclass Enzyme Protein) Merge.kif 13647-13647 Enzyme is a subclass of protein
(subclass GeneRegulatoryProtein Protein) VirusProteinAndCellPart.kif 245-245 Gene regulatory protein is a subclass of protein
(subclass Lipoprotein Protein) VirusProteinAndCellPart.kif 492-492 Lipoprotein is a subclass of protein
(subclass MotorProtein Protein) VirusProteinAndCellPart.kif 229-229 Motor protein is a subclass of protein
(subclass ReceptorProtein Protein) VirusProteinAndCellPart.kif 241-241 Receptor protein is a subclass of protein
(subclass RicinToxin Protein) WMD.kif 425-425 Ricin toxin is a subclass of protein
(subclass SignalingProtein Protein) VirusProteinAndCellPart.kif 237-237 Signaling protein is a subclass of protein
(subclass SpecialPurposeProtein Protein) VirusProteinAndCellPart.kif 249-249 Special purpose protein is a subclass of protein
(subclass StorageProtein Protein) VirusProteinAndCellPart.kif 233-233 Storage protein is a subclass of protein
(subclass StructuralProtein Protein) VirusProteinAndCellPart.kif 221-221 Structural protein is a subclass of protein
(subclass TransportProtein Protein) VirusProteinAndCellPart.kif 225-225 Transport protein is a subclass of protein
(termFormat ChineseLanguage Protein "蛋白质") chinese_format.kif 1006-1006
(termFormat EnglishLanguage Protein "protein") english_format.kif 1229-1229

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


(domainSubclass associatedFunctionality 2 Protein) VirusProteinAndCellPart.kif 288-288 The number 2 argument of associated functionality is a subclass of protein

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


(=>
    (instance ?P Protein)
    (exists (?A)
        (and
            (instance ?A AminoAcid)
            (part ?A ?P))))
Mid-level-ontology.kif 8360-8365

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


(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Protein))))
VirusProteinAndCellPart.kif 302-307


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