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 13679-13680
(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 13678-13678 Protein is a subclass of nutrient

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 13673-13673 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 8260-8260 Antibody is a subclass of protein
(subclass Enzyme Protein) Merge.kif 13682-13682 Enzyme is a subclass of protein
(subclass GeneRegulatoryProtein Protein) VirusProteinAndCellPart.kif 248-248 Gene regulatory protein is a subclass of protein
(subclass Lipoprotein Protein) VirusProteinAndCellPart.kif 495-495 Lipoprotein is a subclass of protein
(subclass MotorProtein Protein) VirusProteinAndCellPart.kif 232-232 Motor protein is a subclass of protein
(subclass ReceptorProtein Protein) VirusProteinAndCellPart.kif 244-244 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 240-240 Signaling protein is a subclass of protein
(subclass SpecialPurposeProtein Protein) VirusProteinAndCellPart.kif 252-252 Special purpose protein is a subclass of protein
(subclass StorageProtein Protein) VirusProteinAndCellPart.kif 236-236 Storage protein is a subclass of protein
(subclass StructuralProtein Protein) VirusProteinAndCellPart.kif 224-224 Structural protein is a subclass of protein
(subclass TransportProtein Protein) VirusProteinAndCellPart.kif 228-228 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 291-291 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 7545-7550

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


(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 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