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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Medicine

 Sigma KEE - Medicine
Medicine(医学)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9235-9236
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 9234-9234 医学 是 生物活性物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3605-3605 Adalimumab 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4744-4744 Adderall 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6392-6392 Analgesic 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1021-1021 Anesthesia 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12415-12415 AntiInflammatory 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1253-1253 AntiViralMedicine 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4835-4835 Anticoagulant 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9710-9710 Antipsychotic 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3312-3312 Antiseizure 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4669-4669 BetaBlocker 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4349-4349 Crisaborole 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4705-4705 Desloratadine 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4595-4595 Immunosuppressive 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4883-4883 Ivabradine 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3349-3349 Lamotrigine 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3966-3966 Lisdexamfetamine 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6194-6194 Morphine 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4956-4956 Nizatidine 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5076-5076 Ondansetron 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9245-9245 Pill 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9882-9882 ProtonPumpInhibitor 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3245-3245 Singulair 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3899-3899 Sulfasalazine 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12261-12261 激素TSH 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1041-1041 TranexamicAcid 是 医学 的 subclass

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 9639-9639 medicine 的 1 数量 是 医学 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9277-9287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9238-9243

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10274-10280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7804-7811
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3089-3096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9270-9275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12447-12456


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