Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Protein

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


(subclass Protein Nutrient) Merge.kif 15000-15000 Protein is a subclass of nutrient
(documentation Protein EnglishLanguage "A Nutrient made up of amino acids joined by peptide bonds.") Merge.kif 15001-15002 Protein is a subclass of nutrient
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/0/00/Protein_Dynamics_Cytochrome_C_2NEW_small.gif") pictureList.kif 6796-6796 Protein is a subclass of nutrient
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Protein_Composite.jpg") pictureList.kif 7654-7654 Protein is a subclass of nutrient
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Localisations02eng.jpg") pictureList.kif 7655-7655 Protein is a subclass of nutrient
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/b/ba/Peptide_bond.jpg") pictureList.kif 7656-7656 Protein is a subclass of nutrient
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mouse_cholera_antibody-1f4x.png") pictureList.kif 7657-7657 Protein is a subclass of nutrient
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Myoglobin.png") pictureList.kif 7658-7658 Protein is a subclass of nutrient
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Proteinviews-1tim.png") pictureList.kif 7659-7659 Protein is a subclass of nutrient

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14994-14994 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(subclass Enzyme Protein) Merge.kif 15004-15004 Enzyme is a subclass of protein
(subclass Antibody Protein) Mid-level-ontology.kif 11091-11091 Antibody is a subclass of protein
(subclass Hemoglobin Protein) Medicine.kif 252-252 Haemoglobin is a subclass of protein
(subclass Interleukin Protein) Medicine.kif 3765-3765 Interleukin is a subclass of protein
(subclass Troponin Protein) Medicine.kif 3974-3974 Troponin is a subclass of protein
(subclass Ferritin Protein) Medicine.kif 4940-4940 Ferritin is a subclass of protein
(subclass StructuralProtein Protein) VirusProteinAndCellPart.kif 273-273 Structural protein is a subclass of protein
(subclass TransportProtein Protein) VirusProteinAndCellPart.kif 277-277 Transport protein is a subclass of protein
(subclass MotorProtein Protein) VirusProteinAndCellPart.kif 281-281 Motor protein is a subclass of protein
(subclass StorageProtein Protein) VirusProteinAndCellPart.kif 285-285 Storage protein is a subclass of protein
(subclass SignalingProtein Protein) VirusProteinAndCellPart.kif 289-289 Signaling protein is a subclass of protein
(subclass ReceptorProtein Protein) VirusProteinAndCellPart.kif 293-293 Receptor protein is a subclass of protein
(subclass GeneRegulatoryProtein Protein) VirusProteinAndCellPart.kif 297-297 Gene regulatory protein is a subclass of protein
(subclass SpecialPurposeProtein Protein) VirusProteinAndCellPart.kif 301-301 Special purpose protein is a subclass of protein
(subclass Histone Protein) VirusProteinAndCellPart.kif 304-304 Histone is a subclass of protein
(subclass Lipoprotein Protein) VirusProteinAndCellPart.kif 1063-1063 Lipoprotein is a subclass of protein
(subclass RicinToxin Protein) WMD.kif 425-425 Ricin toxin is a subclass of protein
(subclass AbrinToxin Protein) WMD.kif 433-433 Abrin toxin is a subclass of protein
(termFormat EnglishLanguage Protein "protein") english_format.kif 1228-1228 Abrin toxin is a subclass of protein

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


(domainSubclass associatedFunctionality 2 Protein) VirusProteinAndCellPart.kif 347-347 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 10060-10065 If X is an instance of protein, then there exists Y such that Y is an instance of amino acid and Y is a part of X

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


(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Protein))))		 VirusProteinAndCellPart.kif 361-366 If X is an instance of plasma membrane, then there exists Y such that Y is a proper part of X and Y is an instance of protein


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners