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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3450-3450
No TPTP formula. May not be expressible in strict first order. Merge.kif 14759-14760
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7657-7657
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7654-7654
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7658-7658
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7655-7655
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7659-7659
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6796-6796
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7656-7656
No TPTP formula. May not be expressible in strict first order. Merge.kif 14758-14758 Protein is a subclass of nutrient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14752-14752 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
No TPTP formula. May not be expressible in strict first order. WMD.kif 438-438 Abrin toxin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10449-10449 Antibody is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Merge.kif 14762-14762 Enzyme is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4907-4907 Ferritin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 293-293 Gene regulatory protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 251-251 Hemoglobin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 300-300 Histone is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3719-3719 Interleukin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1078-1078 Lipoprotein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 277-277 Motor protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 289-289 Receptor protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. WMD.kif 430-430 Ricin toxin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 285-285 Signaling protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 297-297 Special purpose protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 281-281 Storage protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 269-269 Structural protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 273-273 Transport protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3928-3928 Troponin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1006-1006 Troponin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. english_format.kif 1224-1224 Troponin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. french_format.kif 683-683 Troponin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 214-214 Troponin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. 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
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 342-342 The number 2 argument of associated functionality is a subclass of protein

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9400-9405

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


No TPTP formula. May not be expressible in strict first order. 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