Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Protein
Protein
more pictures...

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 14735-14736
(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 14734-14734

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14728-14728
(subclass AbrinToxin Protein) WMD.kif 438-438
(subclass Antibody Protein) Mid-level-ontology.kif 9652-9652
(subclass Enzyme Protein) Merge.kif 14738-14738
(subclass Ferritin Protein) Medicine.kif 4919-4919
(subclass GeneRegulatoryProtein Protein) VirusProteinAndCellPart.kif 293-293
(subclass Hemoglobin Protein) Medicine.kif 251-251
(subclass Histone Protein) VirusProteinAndCellPart.kif 300-300
(subclass Interleukin Protein) Medicine.kif 3731-3731
(subclass Lipoprotein Protein) VirusProteinAndCellPart.kif 1078-1078
(subclass MotorProtein Protein) VirusProteinAndCellPart.kif 277-277
(subclass ReceptorProtein Protein) VirusProteinAndCellPart.kif 289-289
(subclass RicinToxin Protein) WMD.kif 430-430
(subclass SignalingProtein Protein) VirusProteinAndCellPart.kif 285-285
(subclass SpecialPurposeProtein Protein) VirusProteinAndCellPart.kif 297-297
(subclass StorageProtein Protein) VirusProteinAndCellPart.kif 281-281
(subclass StructuralProtein Protein) VirusProteinAndCellPart.kif 269-269
(subclass TransportProtein Protein) VirusProteinAndCellPart.kif 273-273
(subclass Troponin Protein) Medicine.kif 3940-3940
(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

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


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

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