| 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 10583-10584 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4776-4776 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10582-10582 | 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 3608-3608 | Adalimumab is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4751-4751 | Mydayis is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6410-6410 | Painkiller is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1013-1013 | Anesthesia is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13765-13765 | Anti-inflammatory is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1262-1262 | Anti viral medicine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4842-4842 | Blood thinner is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11058-11058 | Anti-psychotic is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3313-3313 | Anti-seizure is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4676-4676 | Beta blocker is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4356-4356 | Crisaborole is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4712-4712 | Desloratadine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4602-4602 | Immunosuppressant is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4890-4890 | Ivabradine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3350-3350 | Lamictal is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3969-3969 | Lisdexamfetamine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6208-6208 | Morphine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4963-4963 | Nizatidine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5083-5083 | Ondansetron is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10593-10593 | Pill is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11230-11230 | PPI is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3246-3246 | Montelukast is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3902-3902 | Sulfasalazine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13611-13611 | Thyroid stimulating hormone is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1033-1033 | 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 10987-10987 | 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 10625-10635 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10586-10591 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10377-10383 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8991-8998 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3090-3097 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10618-10623 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13797-13806 |
|
|
|
|