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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Medicine

Sigma KEE - Medicine
Medicine(medicine)
3TC, AZT, Altace, Arava, Baycol, Bendopa, Bextra, Brocadopa, Cardura, Ceftin, Celebrex, Cialis, Crixivan, DDC, DDI, Daricon, Desyrel, Diovan, Enbrel, Flagyl, Imuran, Invirase, L-dopa, Larodopa, Lescol, Levitra, Mavik, NNRTI, NRTI, Neurontin, Norvir, Paxil, Pravachol, Prostigmin, Remicade, Rescriptor, Retrovir, Vasomax, Vasotec, Viagra, Vioxx, Viracept, Viramune, ZDV, Zinacef, Zocor, Zoloft, alkylating_agent, antithyroid, azathioprine...

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 Medicine is a subclass of biologically active substance

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3605-3605 Adalimumab is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4744-4744 Mydayis is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6392-6392 Painkiller is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1021-1021 Anesthesia is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12416-12416 Anti-inflammatory is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1254-1254 Anti viral medicine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4835-4835 Blood thinner is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9711-9711 Anti-psychotic is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3312-3312 Anti-seizure is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4669-4669 Beta blocker is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4349-4349 Crisaborole is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4705-4705 Desloratadine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4595-4595 Immunosuppressant is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4883-4883 Ivabradine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3349-3349 Lamictal is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3966-3966 Lisdexamfetamine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6194-6194 Morphine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4956-4956 Nizatidine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5076-5076 Ondansetron is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9246-9246 Pill is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9883-9883 PPI is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3245-3245 Montelukast is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3899-3899 Sulfasalazine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12262-12262 Thyroid stimulating hormone is a subclass of medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1041-1041 Tranexamic acid is a subclass of medicine

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 The number 1 argument of medicine is a subclass of medicine

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9278-9288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9239-9244

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10252-10258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7805-7812
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 9271-9276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12448-12457


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