Medicine - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9236-9237
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4777-4777
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9235-9235	子類醫學 and BiologicallyActiveSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3605-3605	子類 Adalimumab and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4744-4744	子類 Adderall and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6392-6392	子類 Analgesic and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1021-1021	子類 Anesthesia and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12416-12416	子類 AntiInflammatory and 醫學
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1254-1254	子類 AntiViralMedicine and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4835-4835	子類 Anticoagulant and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9711-9711	子類 Antipsychotic and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3312-3312	子類 Antiseizure and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4669-4669	子類 BetaBlocker and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4349-4349	子類 Crisaborole and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4705-4705	子類 Desloratadine and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4595-4595	子類 Immunosuppressive and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4883-4883	子類 Ivabradine and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3349-3349	子類 Lamotrigine and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3966-3966	子類 Lisdexamfetamine and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6194-6194	子類 Morphine and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4956-4956	子類 Nizatidine and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5076-5076	子類 Ondansetron and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9246-9246	子類 Pill and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9883-9883	子類 ProtonPumpInhibitor and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3245-3245	子類 Singulair and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3899-3899	子類 Sulfasalazine and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12262-12262	子類激素TSH and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1041-1041	子類 TranexamicAcid and 醫學

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.

Mid-level-ontology.kif 9640-9640

域子類 medicine, 1 and 醫學

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9278-9288	例 Entity and Prescription 例 Object and 醫學參照 Entity and Object EntityHARM Transfer 例 Transfer and Selling objectTransferred Transfer and Object agent Transfer and EntityHARM attribute Transfer and 藥劑師
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9239-9244	例 Object and 醫學 Process 例 Process and TherapeuticProcess 資源 Process and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	例 Process and Ingesting 資源 Process and Object 例 Object and food for Organism 例 Object and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7805-7812	例 AutonomousAgent and 藥店 Process Entity 例 Process and Selling agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and 醫學
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3089-3096	例 Physical and DrugCandidate AutonomousAgent 例 AutonomousAgent and Organization 有代理人的目的 Physical, 例 Physical and 醫學 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9271-9276	例 Entity and Prescription Entity 例 Entity and 醫學參照 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12448-12457	例 Transfer and TopicalApplication Object Object and Object 例 Object and 醫學例 Object and Animal 例 Object and 皮膚部分 Object and Object objectTransferred Transfer and Object 目的地 Object and Object

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

KB Term:			Term intersection

English Word: