TreeView Knowledge Base Browser - medicine

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - medicine

medicine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9642-9648
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9641-9641	O argumento numero 2 de medicine e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9640-9640	O argumento numero 1 de medicine e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9639-9639	medicine e' uma instancia de Predicado Binario

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 9652-9665

medicine Medicine and Doenca ou Sindrome
Doenca ou SindromeOC Doenca ou SindromeOC e' uma instancia de MedicalDoctor Doenca ou SindromeOC acredita que Entidade Entidade and Entidade Entidade e' uma instancia de Medicine Entidade e' uma instancia de Processo Terapeutico Entidade e' uma instancia de Humano patientMedical Entidade and Doenca ou SindromeOC Entidade e' um recurso para Entidade benefits Entidade and Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1258-1265	Entidade e' uma instancia de AntiViralMedicine Entidade e' uma instancia de Medicine Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de ViralDisease medicine Medicine and Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9683-9688	Entidade e' uma instancia de Antiparasitic Doenca ou Sindrome EntidadeVM Doenca ou Sindrome e' uma instancia de ParasiticDisease medicine EntidadeVM and Doenca ou Sindrome
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

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6359-6359	medicine Adrenaline and Analphylaxis
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9693-9693	medicine Antidepressant and Depression
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1270-1270	medicine Remdesivir and Covid19
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3246-3246	medicine Singulair and Asthma
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3310-3310	medicine Vyvanse and ADHD

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