TreeView Knowledge Base Browser - Antibiotic

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Antibiotic

Antibiotic

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9668-9669
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4504-4504
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9667-9667	Antibiotic e' uma sub-classe de Substancia Biologica Ativa

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1579-1579	diseaseMedicine Pertussis, Antibiotic and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1359-1359	diseaseMedicine TyphoidFever, Antibiotic and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1355-1355	CarbapenemAntibiotic e' uma sub-classe de Antibiotic
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1964-1964	Cephalosporin e' uma sub-classe de Antibiotic
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3583-3583	Clarithromycin e' uma sub-classe de Antibiotic
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3800-3800	Doxycycline e' uma sub-classe de Antibiotic
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1342-1342	InjectedAntibiotic e' uma sub-classe de Antibiotic
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1284-1284	OralAntibiotic e' uma sub-classe de Antibiotic
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1311-1311	TopicalAntibiotic e' uma sub-classe de Antibiotic
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7842-7842
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7841-7841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7840-7840

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1274-1276	diseaseMedicine Doenca ou Sindrome, Antibiotic and Processo Doenca ou Sindrome e' uma instancia de BacterialDisease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1264-1272	Objeto e' uma instancia de Antibiotic Sequencia Simbolica Entidade Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9671-9676	Medicine e' uma sub-classe de Antibiotic Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de BacterialDisease medicine Medicine and Doenca ou Sindrome

consequent

No TPTP formula. May not be expressible in strict first order.

WMD.kif 1278-1282

Doenca ou Sindrome e' uma instancia de ViralDisease
Processo diseaseMedicine Doenca ou Sindrome, Antibiotic and Processo

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