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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Protein

 Sigma KEE - Protein
Protein(Proteina)
more pictures...

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 14711-14712
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 7656-7656
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7660-7660
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6797-6797
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. Merge.kif 14710-14710 Proteina e' uma sub-classe de Nutriente

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14704-14704 Nutriente e' disjuntamente decomponivel em Proteina, Carbohidrato, + Vitamina
No TPTP formula. May not be expressible in strict first order. WMD.kif 438-438 AbrinToxin e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9624-9624 Antibody e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. Merge.kif 14714-14714 Enzima e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4919-4919 Ferritin e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 293-293 GeneRegulatoryProtein e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. Medicine.kif 251-251 Hemoglobin e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 300-300 Histone e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3731-3731 Interleukin e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1076-1076 Lipoprotein e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 277-277 MotorProtein e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 289-289 ReceptorProtein e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. WMD.kif 430-430 RicinToxin e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 285-285 SignalingProtein e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 297-297 SpecialPurposeProtein e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 281-281 StorageProtein e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 269-269 StructuralProtein e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 273-273 TransportProtein e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3940-3940 Troponin e' uma sub-classe de Proteina
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1006-1006
No TPTP formula. May not be expressible in strict first order. english_format.kif 1224-1224
No TPTP formula. May not be expressible in strict first order. french_format.kif 683-683
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 214-214
No TPTP formula. May not be expressible in strict first order. 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
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 342-342 O argumento numero 2 de associatedFunctionality e' uma sub-classe de Proteina

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


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

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 356-361


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 is open source software produced by Articulate Software and its partners