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	域 medicine, 2 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9640-9640	域子類 medicine, 1 and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9639-9639	例 medicine and BinaryPredicate

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 醫學 and DiseaseOrSyndrome
DiseaseOrSyndromeOC 例 DiseaseOrSyndromeOC and 醫生相信 DiseaseOrSyndromeOC and entity entity and entity 例 entity and 醫學例 entity and TherapeuticProcess 例 entity and Human DiseaseOrSyndromeOC 是 entity 的 patient 醫療資源 entity and entity 好處 entity and entity

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1258-1265	例 Entity and AntiViralMedicine 例 Entity and 醫學 DiseaseOrSyndrome 例 DiseaseOrSyndrome and 病毒性疾病 medicine 醫學 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9683-9688	例 Entity and Antiparasitic DiseaseOrSyndrome EntityVM 例 DiseaseOrSyndrome and ParasiticDisease medicine EntityVM and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9671-9676	子類醫學 and 抗生素 DiseaseOrSyndrome 例 DiseaseOrSyndrome and 細菌性疾病 medicine 醫學 and DiseaseOrSyndrome

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