Protein - Sigma Knowledge base Browser

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

appearance as argument number 2

(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)	Merge.kif 14820-14820	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 10972-10972	Antibody is a subclass of protein
(subclass Enzyme Protein)	Merge.kif 14830-14830	Enzyme is a subclass of protein
(subclass Ferritin Protein)	Medicine.kif 4926-4926	Ferritin is a subclass of protein
(subclass GeneRegulatoryProtein Protein)	VirusProteinAndCellPart.kif 297-297	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 304-304	Histone is a subclass of protein
(subclass Interleukin Protein)	Medicine.kif 3734-3734	Interleukin is a subclass of protein
(subclass Lipoprotein Protein)	VirusProteinAndCellPart.kif 1085-1085	Lipoprotein is a subclass of protein
(subclass MotorProtein Protein)	VirusProteinAndCellPart.kif 281-281	Motor protein is a subclass of protein
(subclass ReceptorProtein Protein)	VirusProteinAndCellPart.kif 293-293	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 289-289	Signaling protein is a subclass of protein
(subclass SpecialPurposeProtein Protein)	VirusProteinAndCellPart.kif 301-301	Special purpose protein is a subclass of protein
(subclass StorageProtein Protein)	VirusProteinAndCellPart.kif 285-285	Storage protein 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 Troponin Protein)	Medicine.kif 3943-3943	Troponin is a subclass of protein
(termFormat ChineseLanguage Protein "蛋白质")	chinese_format.kif 1006-1006	Troponin is a subclass of protein
(termFormat EnglishLanguage Protein "protein")	english_format.kif 1224-1224	Troponin is a subclass of protein
(termFormat FrenchLanguage Protein "prot�ine")	french_format.kif 683-683	Troponin is a subclass of protein
(termFormat Hindi Protein "protIna")	terms-hindi.txt 214-214	Troponin is a subclass of protein
(termFormat ItalianLanguage Protein "Proteina")	terms-it.txt 217-217	Troponin is a subclass of protein

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

If an object is an instance of protein,
then there exists another object such that the other object is an instance of amino acid and the other object is a part of the object

consequent

(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Protein))))

VirusProteinAndCellPart.kif 361-366

If an object is an instance of plasma membrane,
then there exists another object such that the other object is a proper part of the object and the other object is an instance of protein

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

KB Term:			Term intersection

English Word: