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 14689-14690
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mouse-cholera-antibody-1f4x.png") pictureList.kif 7658-7658
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Protein_Composite.jpg") pictureList.kif 7655-7655
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Myoglobin.png") pictureList.kif 7659-7659
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Localisations02eng.jpg") pictureList.kif 7656-7656
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Proteinviews-1tim.png") pictureList.kif 7660-7660
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/0/00/Protein_Dynamics_Cytochrome_C_2NEW_small.gif") pictureList.kif 6797-6797
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/b/ba/Peptide_bond.jpg") pictureList.kif 7657-7657
(subclass Protein Nutrient) Merge.kif 14688-14688 Protein is a subclass of nutrient

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14682-14682 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(subclass AbrinToxin Protein) WMD.kif 438-438 Abrin toxin is a subclass of protein
(subclass Antibody Protein) Mid-level-ontology.kif 9625-9625 Antibody is a subclass of protein
(subclass Enzyme Protein) Merge.kif 14692-14692 Enzyme is a subclass of protein
(subclass Ferritin Protein) Medicine.kif 4919-4919 Ferritin is a subclass of protein
(subclass GeneRegulatoryProtein Protein) VirusProteinAndCellPart.kif 293-293 Gene regulatory protein is a subclass of protein
(subclass Hemoglobin Protein) Medicine.kif 251-251 Hemoglobin is a subclass of protein
(subclass Histone Protein) VirusProteinAndCellPart.kif 300-300 Histone is a subclass of protein
(subclass Interleukin Protein) Medicine.kif 3731-3731 Interleukin is a subclass of protein
(subclass Lipoprotein Protein) VirusProteinAndCellPart.kif 1077-1077 Lipoprotein is a subclass of protein
(subclass MotorProtein Protein) VirusProteinAndCellPart.kif 277-277 Motor protein is a subclass of protein
(subclass ReceptorProtein Protein) VirusProteinAndCellPart.kif 289-289 Receptor protein is a subclass of protein
(subclass RicinToxin Protein) WMD.kif 430-430 Ricin toxin is a subclass of protein
(subclass SignalingProtein Protein) VirusProteinAndCellPart.kif 285-285 Signaling protein is a subclass of protein
(subclass SpecialPurposeProtein Protein) VirusProteinAndCellPart.kif 297-297 Special purpose protein is a subclass of protein
(subclass StorageProtein Protein) VirusProteinAndCellPart.kif 281-281 Storage protein is a subclass of protein
(subclass StructuralProtein Protein) VirusProteinAndCellPart.kif 269-269 Structural protein is a subclass of protein
(subclass TransportProtein Protein) VirusProteinAndCellPart.kif 273-273 Transport protein is a subclass of protein
(subclass Troponin Protein) Medicine.kif 3940-3940 Troponin is a subclass of protein
(termFormat ChineseLanguage Protein "蛋白质") chinese_format.kif 1006-1006
(termFormat EnglishLanguage Protein "protein") english_format.kif 1224-1224
(termFormat FrenchLanguage Protein "prot�ine") french_format.kif 683-683
(termFormat Hindi Protein "protIna") terms-hindi.txt 214-214
(termFormat ItalianLanguage Protein "Proteina") terms-it.txt 217-217

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass associatedFunctionality 2 Protein) VirusProteinAndCellPart.kif 342-342 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 8700-8705

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


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


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